|
core
|
2009-12-22
|
Matthias S. Benkmann
|
[fbd8ba]
Delete *~ when making release
|
|
doc
|
2009-12-23
|
Matthias S. Benkmann
|
[1b0752]
Removed brace2xml from version control because ...
|
|
html
|
2009-12-22
|
Matthias S. Benkmann
|
[71b4e6]
Do "release-clean" before "release" target
|
|
logic
|
2002-09-15
|
msb
|
[fe001c]
-removed placeholder paragraphs from javadoc as...
|
|
ui
|
2003-01-03
|
msb
|
[058f5b]
-added 2003 to copyright line
|
|
.gitignore
|
2009-12-23
|
Matthias S. Benkmann
|
[e130f7]
Added brace2xml to .gitignore
|
|
LICENSE
|
2002-04-14
|
msb
|
[0ba546]
-replaced with GPL downloaded directly from gnu...
|
|
Makefile
|
2009-12-28
|
Matthias S. Benkmann
|
[628da0]
Don't put every piece of crap into the jar
|
|
___NOTES___
|
2009-12-22
|
Matthias S. Benkmann
|
[db5089]
Some stuff checked in that apparentlc wasn't in...
|
|
domino.html
|
2009-12-22
|
Matthias S. Benkmann
|
[db5089]
Some stuff checked in that apparentlc wasn't in...
|
|
domino2.html
|
2009-12-22
|
Matthias S. Benkmann
|
[db5089]
Some stuff checked in that apparentlc wasn't in...
|
|
domino3.html
|
2009-12-22
|
Matthias S. Benkmann
|
[db5089]
Some stuff checked in that apparentlc wasn't in...
|
|
mainClass.Domino
|
2002-07-21
|
msb
|
[c49ad3]
-renamed from mainClass.UITest
|
|
mainClass.LevelGenerator
|
2002-07-21
|
msb
|
[0afe82]
-initial commit
|
|
mainClass.Prove
|
2002-08-02
|
msb
|
[1a69a0]
-initial commit
|
|
mainClass.TautologyGenerator
|
2002-05-21
|
msb
|
[e74974]
-changes and additions to make building easier
|
|
mainClass.TextModeProver
|
2002-05-21
|
msb
|
[e74974]
-changes and additions to make building easier
|
|
overview.html
|
2002-09-15
|
msb
|
[fe001c]
-removed placeholder paragraphs from javadoc as...
|