Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Sat, 28 Feb 2009 14:09:58 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Fri, 20 Feb 2009 18:29:11 +0100 |
haftmann |
consequent use of term `code equation`
|
file |
diff |
annotate
|
Mon, 01 Dec 2008 12:17:04 +0100 |
haftmann |
code_include with attach
|
file |
diff |
annotate
|
Fri, 24 Oct 2008 17:51:36 +0200 |
haftmann |
simplified user-defined class syntax
|
file |
diff |
annotate
|
Wed, 22 Oct 2008 14:15:45 +0200 |
haftmann |
code identifier namings are no longer imperative
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 20:38:17 +0200 |
haftmann |
distributed literal code generation out of central infrastructure
|
file |
diff |
annotate
|
Mon, 01 Sep 2008 10:18:37 +0200 |
haftmann |
restructured code generation of literals
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 22:09:20 +0200 |
haftmann |
restructured and split code serializer module
|
file |
diff |
annotate
|
Thu, 14 Aug 2008 16:52:54 +0200 |
wenzelm |
ML_Context.add_antiq: pass position;
|
file |
diff |
annotate
|
Tue, 12 Aug 2008 21:28:09 +0200 |
wenzelm |
OuterSyntax.scan: pass position;
|
file |
diff |
annotate
|
Sat, 09 Aug 2008 22:43:46 +0200 |
wenzelm |
unified Args.T with OuterLex.token, renamed some operations;
|
file |
diff |
annotate
|
Wed, 06 Aug 2008 00:12:31 +0200 |
wenzelm |
fall back on P.term_group, to avoid problems with inner_syntax markup (due to CodeName.read_const_exprs);
|
file |
diff |
annotate
|
Wed, 30 Jul 2008 07:34:00 +0200 |
haftmann |
dropped imperative monad bind
|
file |
diff |
annotate
|
Fri, 11 Jul 2008 09:02:33 +0200 |
haftmann |
simple inheritance concept
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 11:47:27 +0200 |
haftmann |
cached code for code antiquotation
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 07:12:17 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 15:06:30 +0200 |
wenzelm |
Args.theory;
|
file |
diff |
annotate
|
Wed, 25 Jun 2008 17:38:32 +0200 |
wenzelm |
moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
|
file |
diff |
annotate
|
Tue, 24 Jun 2008 19:43:22 +0200 |
wenzelm |
ml_code_antiq: proper scanner combinators;
|
file |
diff |
annotate
|
Fri, 20 Jun 2008 21:00:28 +0200 |
haftmann |
explicit thm context for error messages
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 15:30:06 +0200 |
haftmann |
major refactorings in code generator modules
|
file |
diff |
annotate
|
Fri, 30 May 2008 08:02:19 +0200 |
haftmann |
various code streamlining
|
file |
diff |
annotate
|
Thu, 29 May 2008 13:27:13 +0200 |
haftmann |
yet another attempt to circumvent printmode problems
|
file |
diff |
annotate
|
Wed, 28 May 2008 12:24:48 +0200 |
haftmann |
fixed utterly wrong print mode handling
|
file |
diff |
annotate
|
Wed, 28 May 2008 12:06:49 +0200 |
haftmann |
new serializer interface
|
file |
diff |
annotate
|
Mon, 26 May 2008 17:55:39 +0200 |
haftmann |
proper use of the Pretty module
|
file |
diff |
annotate
|
Mon, 28 Apr 2008 13:41:04 +0200 |
haftmann |
dropping return in imperative monad bindings
|
file |
diff |
annotate
|
Sun, 27 Apr 2008 17:13:01 +0200 |
haftmann |
corrected ML semantics
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 19:04:42 +0100 |
haftmann |
clarified character serializations
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 23:34:24 +0100 |
wenzelm |
ML runtime compilation: pass position, tuned signature;
|
file |
diff |
annotate
|
Fri, 22 Feb 2008 12:01:57 +0100 |
haftmann |
non-operative code antiquotation
|
file |
diff |
annotate
|
Sun, 17 Feb 2008 06:49:53 +0100 |
huffman |
New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
|
file |
diff |
annotate
|
Tue, 29 Jan 2008 10:19:58 +0100 |
haftmann |
tuned names
|
file |
diff |
annotate
|
Sat, 26 Jan 2008 20:01:37 +0100 |
wenzelm |
avoid redundant escaping of Isabelle symbols;
|
file |
diff |
annotate
|
Fri, 25 Jan 2008 14:54:49 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 21 Jan 2008 08:43:36 +0100 |
haftmann |
non-negative numerals
|
file |
diff |
annotate
|
Wed, 02 Jan 2008 15:14:27 +0100 |
haftmann |
empty dictionaries for OCaml
|
file |
diff |
annotate
|
Thu, 13 Dec 2007 07:09:09 +0100 |
haftmann |
heutistics for type annotations in Haskell
|
file |
diff |
annotate
|
Wed, 05 Dec 2007 14:16:05 +0100 |
haftmann |
map_product and fold_product
|
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:05 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 22 Oct 2007 16:54:54 +0200 |
haftmann |
clarified Haskell qualification heuristics
|
file |
diff |
annotate
|
Thu, 18 Oct 2007 16:09:39 +0200 |
haftmann |
CRITICAL evaluation
|
file |
diff |
annotate
|
Fri, 12 Oct 2007 08:20:45 +0200 |
haftmann |
code_include replaces code_moduleprolog
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 17:10:38 +0200 |
wenzelm |
renamed AxClass.get_definition to AxClass.get_info (again);
|
file |
diff |
annotate
|
Mon, 08 Oct 2007 22:03:31 +0200 |
haftmann |
moved translation kernel to CodeThingol
|
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:55 +0200 |
haftmann |
concept for exceptions
|
file |
diff |
annotate
|
Tue, 02 Oct 2007 07:59:55 +0200 |
haftmann |
clarified role of class relations
|
file |
diff |
annotate
|
Sat, 29 Sep 2007 08:58:55 +0200 |
haftmann |
added ocaml strings
|
file |
diff |
annotate
|
Tue, 25 Sep 2007 12:16:14 +0200 |
haftmann |
ML monad support
|
file |
diff |
annotate
|
Thu, 20 Sep 2007 16:37:34 +0200 |
haftmann |
more precise treatment of free dictionary parameters for evaluation
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 18:05:37 +0200 |
wenzelm |
simplified PrintMode interfaces;
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 16:08:00 +0200 |
wenzelm |
simplified type int (eliminated IntInf.int, integer);
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 07:36:12 +0200 |
haftmann |
clarified evaluation code
|
file |
diff |
annotate
|
Sat, 15 Sep 2007 19:27:50 +0200 |
haftmann |
added explicit theorems
|
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
|