| Fri, 10 Aug 2007 17:10:04 +0200 | haftmann | corrected code generator module names | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:49 +0200 | haftmann | proper implementation of rational numbers | file | diff | annotate |
| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |