Wed, 22 Jan 2014 16:03:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 20:38:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 20:24:44 +0100 |
wenzelm |
tuned error messages, more accurate position;
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 20:04:52 +0100 |
wenzelm |
tuned -- more direct err_prefix;
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 19:47:31 +0100 |
wenzelm |
clarified scan_cartouche_depth, according to Scala version;
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 16:56:18 +0100 |
wenzelm |
tuned errors;
|
file |
diff |
annotate
|
Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
Tue, 19 Nov 2013 19:43:26 +0100 |
wenzelm |
release file errors at runtime: Command.eval instead of Command.read;
|
file |
diff |
annotate
|
Tue, 19 Nov 2013 19:33:27 +0100 |
wenzelm |
maintain blobs within document state: digest + text in ML, digest-only in Scala;
|
file |
diff |
annotate
|
Sun, 24 Feb 2013 14:11:51 +0100 |
wenzelm |
unified Command.is_proper in ML with Scala (see also 123be08eed88);
|
file |
diff |
annotate
|
Mon, 26 Nov 2012 21:46:04 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
Tue, 16 Oct 2012 20:23:00 +0200 |
wenzelm |
more proof method text position information;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
Thu, 23 Aug 2012 17:46:03 +0200 |
wenzelm |
tuned messages: end-of-input rarely means physical end-of-file from the past;
|
file |
diff |
annotate
|