| Tue, 22 Apr 2008 22:00:25 +0200 |
different handling of eq class for nbe
|
file | diff | annotate |
| Wed, 13 Feb 2008 09:35:33 +0100 |
using integers for pattern matching
|
file | diff | annotate |
| Tue, 29 Jan 2008 10:20:00 +0100 |
cleaned up evaluation interfaces
|
file | diff | annotate |
| Tue, 22 Jan 2008 23:07:25 +0100 |
tuned
|
file | diff | annotate |
| Mon, 21 Jan 2008 08:43:35 +0100 |
tuned
|
file | diff | annotate |
| Fri, 18 Jan 2008 08:30:12 +0100 |
improved implementation
|
file | diff | annotate |
| Tue, 08 Jan 2008 11:37:32 +0100 |
tuned comment
|
file | diff | annotate |
| Fri, 26 Oct 2007 19:58:32 +0200 |
replaced Secure.evaluate by ML_Context.evaluate;
|
file | diff | annotate |
| Thu, 25 Oct 2007 13:52:04 +0200 |
clarified implementation
|
file | diff | annotate |
| Wed, 24 Oct 2007 07:19:57 +0200 |
fixed typo
|
file | diff | annotate |
| Fri, 19 Oct 2007 16:20:27 +0200 |
now employing dictionaries
|
file | diff | annotate |
| Fri, 19 Oct 2007 16:13:55 +0200 |
tuned CRITICAL markups;
|
file | diff | annotate |
| Thu, 18 Oct 2007 09:21:00 +0200 |
evaluation is CRITICAL
|
file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 |
generic Syntax.pretty/string_of operations;
|
file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 |
simplified interfaces for outer syntax;
|
file | diff | annotate |
| Thu, 04 Oct 2007 19:41:53 +0200 |
step towards proper purge operation
|
file | diff | annotate |
| Tue, 25 Sep 2007 17:06:18 +0200 |
tuned functor application;
|
file | diff | annotate |
| Sun, 23 Sep 2007 22:23:27 +0200 |
TypeInfer.constrain: canonical argument order;
|
file | diff | annotate |
| Tue, 18 Sep 2007 18:05:37 +0200 |
simplified PrintMode interfaces;
|
file | diff | annotate |
| Mon, 17 Sep 2007 16:36:41 +0200 |
avoid direct access to print_mode;
|
file | diff | annotate |
| Sat, 15 Sep 2007 19:27:48 +0200 |
delayed evaluation
|
file | diff | annotate |
| Sat, 01 Sep 2007 15:46:59 +0200 |
replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
|
file | diff | annotate |
| Thu, 30 Aug 2007 22:35:34 +0200 |
replaced ProofContext.infer_types by general Syntax.check_terms;
|
file | diff | annotate |
| Fri, 24 Aug 2007 14:14:20 +0200 |
overloaded definitions accompanied by explicit constants
|
file | diff | annotate |
| Tue, 21 Aug 2007 13:30:38 +0200 |
improved evaluation interface
|
file | diff | annotate |
| Mon, 20 Aug 2007 18:07:31 +0200 |
explizit dependencies
|
file | diff | annotate |
| Thu, 16 Aug 2007 11:45:05 +0200 |
added evaluation examples
|
file | diff | annotate |
| Wed, 15 Aug 2007 08:57:42 +0200 |
tuned
|
file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 |
new structure for code generator modules
|
file | diff | annotate |
| Tue, 07 Aug 2007 09:40:34 +0200 |
new nbe implementation
|
file | diff | annotate |
| Mon, 06 Aug 2007 11:45:39 +0200 |
nbe improved
|
file | diff | annotate |