| Thu, 12 Aug 2010 15:19:11 +0200 |
wenzelm |
clarified "state" (accumulated data) vs. "exec" (execution that produces data);
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 22:41:26 +0200 |
wenzelm |
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 00:46:07 +0200 |
wenzelm |
Isar_Document command input via native Isabelle_Process commands, using YXML and XML_Data representation;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:29:11 +0200 |
wenzelm |
distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names;
|
file |
diff |
annotate
|
| Sun, 08 Aug 2010 19:36:31 +0200 |
wenzelm |
explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:43:57 +0200 |
wenzelm |
simplified some Markup;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 14:35:35 +0200 |
wenzelm |
simplified/refined document model: collection of named nodes, without proper dependencies yet;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 15:04:37 +0200 |
wenzelm |
extractors for document updates;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2009 14:51:40 +0200 |
wenzelm |
modernized Isar_Document;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 14:31:39 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 10:50:04 +0200 |
wenzelm |
moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 13:25:35 +0200 |
wenzelm |
renamed IsabelleProcess to Isabelle_Process;
|
file |
diff |
annotate
|
| Sat, 23 May 2009 21:40:34 +0200 |
wenzelm |
proper indentation;
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 15:47:22 +0100 |
wenzelm |
plain non-dependent types;
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 15:22:46 +0100 |
wenzelm |
turned IsarDocument into trait for IsabelleProcess;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2009 20:06:51 +0100 |
wenzelm |
Scala wrapper for interactive Isar documents;
|
file |
diff |
annotate
|