| Tue, 16 Sep 2008 09:21:22 +0200 | haftmann | generic value command | file | diff | annotate |
| Thu, 28 Aug 2008 22:09:20 +0200 | haftmann | restructured and split code serializer module | file | diff | annotate |
| Tue, 15 Jul 2008 16:02:07 +0200 | haftmann | tuned code theorem bookkeeping | file | diff | annotate |
| Tue, 08 Jul 2008 18:13:12 +0200 | haftmann | clarified code | file | diff | annotate |
| Wed, 18 Jun 2008 22:32:03 +0200 | wenzelm | simplified TypeInfer.infer_types; | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
| Fri, 23 May 2008 16:05:07 +0200 | haftmann | explicit type schemes for functions | file | diff | annotate |
| Sun, 18 May 2008 15:04:48 +0200 | wenzelm | command 'normal_form': proper context via Variable.auto_fixes; | file | diff | annotate |
| Sat, 17 May 2008 15:31:42 +0200 | wenzelm | cat_lines; | file | diff | annotate |
| Thu, 24 Apr 2008 16:53:04 +0200 | haftmann | moved 'trivial classes' to foundation of code generator | file | diff | annotate |
| Tue, 22 Apr 2008 22:00:25 +0200 | haftmann | different handling of eq class for nbe | file | diff | annotate |
| Wed, 13 Feb 2008 09:35:33 +0100 | haftmann | using integers for pattern matching | file | diff | annotate |
| Tue, 29 Jan 2008 10:20:00 +0100 | haftmann | cleaned up evaluation interfaces | file | diff | annotate |
| Tue, 22 Jan 2008 23:07:25 +0100 | haftmann | tuned | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:35 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 18 Jan 2008 08:30:12 +0100 | haftmann | improved implementation | file | diff | annotate |
| Tue, 08 Jan 2008 11:37:32 +0100 | haftmann | tuned comment | file | diff | annotate |
| Fri, 26 Oct 2007 19:58:32 +0200 | wenzelm | replaced Secure.evaluate by ML_Context.evaluate; | file | diff | annotate |
| Thu, 25 Oct 2007 13:52:04 +0200 | haftmann | clarified implementation | file | diff | annotate |
| Wed, 24 Oct 2007 07:19:57 +0200 | haftmann | fixed typo | file | diff | annotate |
| Fri, 19 Oct 2007 16:20:27 +0200 | haftmann | now employing dictionaries | file | diff | annotate |
| Fri, 19 Oct 2007 16:13:55 +0200 | wenzelm | tuned CRITICAL markups; | file | diff | annotate |
| Thu, 18 Oct 2007 09:21:00 +0200 | haftmann | evaluation is CRITICAL | file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Thu, 04 Oct 2007 19:41:53 +0200 | haftmann | step towards proper purge operation | file | diff | annotate |
| Tue, 25 Sep 2007 17:06:18 +0200 | wenzelm | tuned functor application; | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:27 +0200 | wenzelm | TypeInfer.constrain: canonical argument order; | file | diff | annotate |
| Tue, 18 Sep 2007 18:05:37 +0200 | wenzelm | simplified PrintMode interfaces; | file | diff | annotate |
| Mon, 17 Sep 2007 16:36:41 +0200 | wenzelm | avoid direct access to print_mode; | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:48 +0200 | haftmann | delayed evaluation | 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 |
| Thu, 30 Aug 2007 22:35:34 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | 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 |
| Mon, 20 Aug 2007 18:07:31 +0200 | haftmann | explizit dependencies | file | diff | annotate |
| Thu, 16 Aug 2007 11:45:05 +0200 | haftmann | added evaluation examples | file | diff | annotate |
| Wed, 15 Aug 2007 08:57:42 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | file | diff | annotate |
| Tue, 07 Aug 2007 09:40:34 +0200 | haftmann | new nbe implementation | file | diff | annotate |
| Mon, 06 Aug 2007 11:45:39 +0200 | haftmann | nbe improved | file | diff | annotate |