| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Mon, 16 Jul 2007 09:29:04 +0200 | haftmann | added function for case certificates | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Thu, 26 Apr 2007 13:33:09 +0200 | haftmann | slightly tuned | file | diff | annotate |
| Fri, 23 Mar 2007 09:40:50 +0100 | haftmann | tuned | file | diff | annotate |
| Tue, 16 Jan 2007 08:12:09 +0100 | haftmann | refined and added example for ExecutableRat | file | diff | annotate |