| Wed, 10 May 2023 20:30:46 +0200 |
wenzelm |
more informative position information;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 12:38:00 +0200 |
wenzelm |
removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sat, 06 Nov 2021 11:25:03 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 16:02:55 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 20:45:02 +0100 |
wenzelm |
proper markup type (amending be49c660ebbf);
|
file |
diff |
annotate
|
| Tue, 07 Sep 2021 22:35:44 +0200 |
wenzelm |
more markup, e.g. to locate defining theory node in formal document output;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 15:24:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Sat, 26 May 2018 13:34:44 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 17:16:09 +0100 |
wenzelm |
JSON representation for Position.T;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 13:30:46 +0200 |
wenzelm |
proper default (amending 601866c61ded);
|
file |
diff |
annotate
|
| Sat, 31 Dec 2016 21:00:43 +0100 |
wenzelm |
more precise markup;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 19:19:59 +0100 |
wenzelm |
full range for Position.Item;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 11:53:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 22:05:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 21:57:10 +0100 |
wenzelm |
proper command id for inlined errors, which is important for Command.State.accumulate;
|
file |
diff |
annotate
|
| Tue, 10 Mar 2015 20:12:30 +0100 |
wenzelm |
more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2014 22:29:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 15:31:24 +0200 |
wenzelm |
clarified Position.Identified: do not require range from prover, default to command position;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 14:15:58 +0200 |
wenzelm |
maintain Command_Range position as in ML;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 13:34:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 09:36:38 +0200 |
wenzelm |
tuned message, to accommodate extra brackets produced by Scala parsers;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 20:03:00 +0200 |
wenzelm |
simplified Text.Chunk -- eliminated ooddities;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 15:12:54 +0200 |
wenzelm |
tuned signature -- moved Command.Chunk to Text.Chunk;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 13:24:08 +0200 |
wenzelm |
more precise token positions;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 12:19:33 +0200 |
wenzelm |
more explicit Command.Chunk types, less ooddities;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 12:54:12 +0100 |
wenzelm |
tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:43:47 +0100 |
wenzelm |
prefer concrete list append;
|
file |
diff |
annotate
|