| 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
|
| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 22:00:31 +0200 |
haftmann |
more general evaluation combinators
|
file |
diff |
annotate
|
| Wed, 16 Apr 2008 21:52:58 +0200 |
wenzelm |
Facts.dest_static;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 18:49:15 +0200 |
wenzelm |
Facts.dest_table;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:31 +0200 |
wenzelm |
added read_const_exprs (from Pure/Isar/code_unit.ML);
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 13:24:21 +0200 |
wenzelm |
replaced Isar.toplevel by Toplevel.program;
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 18:08:54 +0100 |
wenzelm |
removed obsolete PureThy.thms_containing;
|
file |
diff |
annotate
|
| Fri, 22 Feb 2008 12:01:57 +0100 |
haftmann |
non-operative code antiquotation
|
file |
diff |
annotate
|
| Tue, 29 Jan 2008 10:20:00 +0100 |
haftmann |
cleaned up evaluation interfaces
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 14:54:49 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 21 Jan 2008 08:43:35 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Thu, 13 Dec 2007 07:08:59 +0100 |
haftmann |
isatool codegen now returns exit value
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:15 +0100 |
haftmann |
moved instance parameter management from class.ML to axclass.ML
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 09:01:42 +0100 |
haftmann |
tuned interfaces of class module
|
file |
diff |
annotate
|
| Fri, 19 Oct 2007 23:21:15 +0200 |
wenzelm |
export_code: proper command;
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 19:10:17 +0200 |
wenzelm |
moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:56 +0200 |
wenzelm |
replaced Sign.add_consts_authentic by Sign.declare_const;
|
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:54:44 +0200 |
haftmann |
certificates for code generator case expressions
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
| Tue, 02 Oct 2007 07:59:55 +0200 |
haftmann |
clarified role of class relations
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 16:20:31 +0200 |
wenzelm |
Sign.add_consts_authentic: tags (Markup.property list);
|
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 07:36:12 +0200 |
haftmann |
clarified evaluation code
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:40 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|