| Sun, 30 Nov 2014 12:24:56 +0100 |
wenzelm |
more abstract type Input.source;
|
file |
diff |
annotate
|
| Tue, 11 Nov 2014 18:16:25 +0100 |
wenzelm |
more position information, e.g. relevant for errors in generated ML source;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 17:31:01 +0100 |
wenzelm |
clarified keyword categories;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Thu, 06 Nov 2014 15:47:04 +0100 |
wenzelm |
more explicit Keyword.keywords;
|
file |
diff |
annotate
|
| Thu, 06 Nov 2014 13:36:19 +0100 |
wenzelm |
prefer explicit Keyword.keywords;
|
file |
diff |
annotate
|
| Wed, 05 Nov 2014 20:20:57 +0100 |
wenzelm |
explicit type Keyword.keywords;
|
file |
diff |
annotate
|
| Mon, 20 Oct 2014 16:52:36 +0200 |
wenzelm |
official support for "tt" style variants, avoid fragile \verb in LaTeX;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2014 15:47:26 +0200 |
wenzelm |
more liberal embedded "text", which includes cartouches;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 20:18:27 +0200 |
wenzelm |
tuned signature according to Scala version -- prefer explicit argument;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 17:59:56 +0200 |
wenzelm |
redundant error position, to ensure the message is attached somewhere, despite the distortion of positions due to glued tokens;
|
file |
diff |
annotate
|
| Mon, 16 Jun 2014 21:26:50 +0200 |
wenzelm |
formal check of jEdit actions;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 14:59:36 +0200 |
wenzelm |
more uniform ML/document antiquotations;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2014 17:56:13 +0100 |
wenzelm |
redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands);
|
file |
diff |
annotate
|
| Wed, 26 Mar 2014 14:41:52 +0100 |
wenzelm |
prefer Context_Position where a context is available;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 13:18:10 +0100 |
wenzelm |
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 20:48:58 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 11:34:05 +0100 |
wenzelm |
added ML antiquotation @{path};
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 22:41:04 +0100 |
wenzelm |
ML_Context.check_antiquotation still required;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:22:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:17:13 +0100 |
wenzelm |
some document antiquotations for Isabelle/jEdit elements;
|
file |
diff |
annotate
|
| Sat, 08 Mar 2014 21:08:10 +0100 |
wenzelm |
modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121);
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 00:05:35 +0100 |
wenzelm |
more markup for ML source;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 14:56:58 +0100 |
wenzelm |
proper context for global data;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 14:34:18 +0100 |
wenzelm |
modernized Method.check_name/check_source (with reports) vs. strict Method.the_method (without interning nor reports), e.g. relevant for semantic completion;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 20:16:12 +0100 |
wenzelm |
provide @{file_unchecked} in Isabelle/Pure;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2013 13:34:04 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sun, 18 Aug 2013 13:58:33 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Fri, 16 Aug 2013 22:57:16 +0200 |
wenzelm |
check_tool wrt. official ISABELLE_TOOLS;
|
file |
diff |
annotate
|
| Fri, 16 Aug 2013 22:39:31 +0200 |
wenzelm |
more markup via Name_Space.check;
|
file |
diff |
annotate
|
| Sat, 15 Jun 2013 21:01:07 +0200 |
wenzelm |
updated operations on proof terms;
|
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, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|