Age | Commit message (Expand) | Author |
---|---|---|
2013-05-31 | devel/alt-ergo: version 0.95.1 | Florian Franzmann |
2013-01-20 | devel/alt-ergo: version 0.95 | Florian Franzmann |
2012-03-02 | devel/alt-ergo: new spell, a theorem prover | Florian Franzmann |
index : smgl/grimoire.git | ||
test grimoire | SMGL |
summaryrefslogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
2013-05-31 | devel/alt-ergo: version 0.95.1 | Florian Franzmann |
2013-01-20 | devel/alt-ergo: version 0.95 | Florian Franzmann |
2012-03-02 | devel/alt-ergo: new spell, a theorem prover | Florian Franzmann |