| Tue, 18 Sep 2007 07:36:12 +0200 | haftmann | clarified evaluation code | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:42 +0200 | haftmann | multi-functional value keyword | file | diff | annotate |
| Sat, 01 Sep 2007 15:46:59 +0200 | wenzelm | replaced ProofContext.read_term/prop by general Syntax.read_term/prop; | file | diff | annotate |
| Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | file | diff | annotate |
| Tue, 21 Aug 2007 13:30:38 +0200 | haftmann | improved evaluation interface | file | diff | annotate |
| Wed, 15 Aug 2007 08:57:39 +0200 | haftmann | updated code generator setup | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | file | diff | annotate |
| Wed, 30 May 2007 21:09:15 +0200 | haftmann | fixed typo | file | diff | annotate |
| Mon, 21 May 2007 19:11:41 +0200 | haftmann | evaluation for integers | file | diff | annotate |
| Sat, 19 May 2007 11:33:24 +0200 | haftmann | typ_of instance for int | 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:12 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 13 Apr 2007 21:26:35 +0200 | wenzelm | tuned document (headers, sections, spacing); | file | diff | annotate |
| Tue, 27 Mar 2007 09:19:37 +0200 | haftmann | fixed document preparation | file | diff | annotate |
| Mon, 26 Mar 2007 14:54:45 +0200 | haftmann | cleaned up Library/ and ex/ | file | diff | annotate |