Dominoes on Acid Code

Brought to you by: mbenkmann

Tree [628da0] master /

History

HTTPS git://

HTTPS access

File	Date	Author	Commit
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...