| 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 |