| Sun, 02 Jul 2023 19:05:59 +0200 |
wenzelm |
tuned: prefer Scala over Java;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 16:01:54 +0100 |
wenzelm |
more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
|
file |
diff |
annotate
|
| Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
| Tue, 28 Sep 2021 16:01:13 +0200 |
wenzelm |
outer syntax: support for control-cartouche tokens;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:59:28 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2021 22:31:11 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
| Mon, 15 Jan 2018 14:31:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 21:04:51 +0100 |
wenzelm |
support for formal comments in ML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 20:44:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 26 Oct 2017 23:31:03 +0200 |
wenzelm |
separate JSON lexer;
|
file |
diff |
annotate
|
| Wed, 25 Oct 2017 14:39:22 +0200 |
wenzelm |
more robust treatment of UTF8 in raw byte sources;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 15:21:49 +0100 |
wenzelm |
more merge operations;
|
file |
diff |
annotate
|
| Wed, 01 Oct 2014 21:00:49 +0200 |
wenzelm |
actually finish after closing, e.g. relevant for consecutive (**)(**);
|
file |
diff |
annotate
|
| Fri, 02 May 2014 18:54:47 +0200 |
wenzelm |
avoid deprecated Scala syntax;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 12:27:40 +0200 |
wenzelm |
support URLs as well;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 12:09:02 +0200 |
wenzelm |
reclaimed Byte_Reader from 51560e392e1b;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:57:17 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 16:50:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 13:18:08 +0100 |
wenzelm |
tuned signature -- emphasize line-oriented aspect;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 14:52:51 +0100 |
wenzelm |
partial scans via ML_Lex.tokenize_context;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 21:06:20 +0100 |
wenzelm |
lexical syntax for SML (in Scala);
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 16:25:30 +0100 |
wenzelm |
tuned signature (in accordance to ML version);
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 15:42:27 +0100 |
wenzelm |
tuned signature -- separate Lexicon from Parsers (in accordance to ML version);
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:24:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
| Thu, 08 Aug 2013 17:36:14 +0200 |
wenzelm |
more strict identifier syntax: disallow superscripts, which tend to be used in notation such as \<^sup>\<omega>;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 16:25:26 +0200 |
wenzelm |
more robust identifier syntax: sub/superscript counts as modifier of LETDIG part instead of LETTER, both isub/isup and sub/sup are allowed;
|
file |
diff |
annotate
|
| Thu, 23 Aug 2012 20:49:00 +0200 |
wenzelm |
eliminated obsolete byte_reader -- theory headers + body files are parsed in full;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 21:53:20 +0200 |
wenzelm |
more precise recover_quoted, recover_verbatim, recover_comment (cf. ML version) -- NB: context parsers expect explicit termination;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 13:33:07 +0200 |
wenzelm |
clarified undefined, unparsed, unfinished command spans;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2012 14:56:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2012 14:37:43 +0200 |
wenzelm |
refined recovery of scan errors: longest prefix of delimited token after failure, otherwise just one symbol;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 20:55:19 +0200 |
wenzelm |
tuned import;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 17:13:25 +0100 |
wenzelm |
prefer final ADTs -- prevent ooddities;
|
file |
diff |
annotate
|
| Thu, 23 Feb 2012 20:40:20 +0100 |
wenzelm |
avoid trait Addable, which is deprecated in scala-2.9.x;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 23:43:01 +0200 |
wenzelm |
class Lexicon as abstract datatype;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2011 14:10:50 +0200 |
wenzelm |
explicit indication of type Symbol.Symbol;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
| Fri, 17 Jun 2011 14:31:13 +0200 |
wenzelm |
unconditional recovery from bad context (e.g. Quoted with malformed quoted_body);
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 18:00:56 +0200 |
wenzelm |
partial scans of nested comments;
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 17:25:16 +0200 |
wenzelm |
some support for partial scans with explicit context;
|
file |
diff |
annotate
|
| Thu, 12 May 2011 16:28:46 +0200 |
wenzelm |
minor adaption for scala-2.9.0.final;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2011 16:03:13 +0200 |
wenzelm |
more robust scanning of iterated comments, such as "(* (**) (**) *)";
|
file |
diff |
annotate
|