| Sun, 18 Oct 2015 21:30:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 22:31:21 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 29 Dec 2014 15:38:59 +0100 |
wenzelm |
more toplevel pretty printing;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 13:49:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 01 Nov 2014 19:33:51 +0100 |
wenzelm |
recover via scanner;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 21:10:11 +0100 |
wenzelm |
discontinued obsolete tty and prompt;
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 19:47:31 +0100 |
wenzelm |
clarified scan_cartouche_depth, according to Scala version;
|
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
|
| Sat, 23 Jul 2011 16:37:17 +0200 |
wenzelm |
defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
|
file |
diff |
annotate
|
| Sat, 20 Nov 2010 00:53:26 +0100 |
wenzelm |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 15:19:39 +0200 |
wenzelm |
tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 22:20:58 +0200 |
wenzelm |
eliminated redundant bindings;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 21:13:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 21:07:55 +0200 |
wenzelm |
datatype lexicon: alternative representation using nested Symtab.table;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:44:47 +0200 |
wenzelm |
reorganized lexicon: allow scanning of annotated symbols, tuned representation and interfaces;
|
file |
diff |
annotate
|
| Mon, 04 Aug 2008 21:24:15 +0200 |
wenzelm |
abstract type stopper, may depend on final input;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2008 22:27:19 +0100 |
wenzelm |
added ::: / @@@ scanner combinators;
|
file |
diff |
annotate
|
| Sun, 16 Sep 2007 14:52:29 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2007 20:40:31 +0200 |
wenzelm |
added :|-- (dependent projection);
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 16:45:01 +0200 |
wenzelm |
infixr || (more efficient);
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 00:43:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 00:17:52 +0200 |
wenzelm |
nested source: explicit interactive flag for recover avoids duplicate errors;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 23:12:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:21 +0100 |
wenzelm |
tuned signature of extend_lexicon;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 12:18:17 +0100 |
wenzelm |
added ~$$ (negative literal);
|
file |
diff |
annotate
|
| Sat, 18 Mar 2006 20:10:50 +0100 |
wenzelm |
made $$ and "this" monomorphic (string);
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:16 +0100 |
wenzelm |
Output.error_msg;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:07:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 09:35:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 18 May 2005 11:30:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 09:26:29 +0200 |
wenzelm |
added some, peek, trace'; tuned;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 16 Jun 2004 20:37:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Jun 2004 22:46:39 +0200 |
wenzelm |
added trace (inefficient for very long input);
|
file |
diff |
annotate
|
| Wed, 09 Jun 2004 18:56:09 +0200 |
wenzelm |
added this_string;
|
file |
diff |
annotate
|
| Sat, 29 May 2004 15:06:04 +0200 |
wenzelm |
Output.error;
|
file |
diff |
annotate
|
| Mon, 10 May 2004 19:25:59 +0200 |
wenzelm |
added Scan.list;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2004 06:03:41 +0200 |
wenzelm |
added is_literal;
|
file |
diff |
annotate
|
| Mon, 26 Apr 2004 14:58:29 +0200 |
wenzelm |
tuned presentation;
|
file |
diff |
annotate
|
| Fri, 11 Jul 2003 15:00:54 +0200 |
berghofe |
Restored old (tail recursive!) version of repeat.
|
file |
diff |
annotate
|
| Sat, 28 Jun 2003 13:42:56 +0200 |
kleing |
integrated optimizations by Sebastian Skalberg,
|
file |
diff |
annotate
|
| Wed, 29 Jan 2003 17:35:11 +0100 |
berghofe |
Some tuning:
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 16:17:52 +0200 |
berghofe |
Tuned function extend_lexicon.
|
file |
diff |
annotate
|
| Fri, 29 Dec 2000 19:44:13 +0100 |
wenzelm |
recover: result;
|
file |
diff |
annotate
|
| Sun, 25 Jun 2000 23:46:39 +0200 |
wenzelm |
added state: 'a * 'b -> 'a * ('a * 'b);
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:02:46 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2000 20:15:55 +0200 |
wenzelm |
recover: observe stopper;
|
file |
diff |
annotate
|
| Fri, 16 Jul 1999 22:25:07 +0200 |
wenzelm |
tuned dest_lexicon;
|
file |
diff |
annotate
|
| Wed, 12 May 1999 16:52:28 +0200 |
wenzelm |
rearranged order of modules;
|
file |
diff |
annotate
|
| Wed, 13 Jan 1999 15:18:02 +0100 |
wenzelm |
fixed titles;
|
file |
diff |
annotate
|
| Wed, 13 Jan 1999 12:44:33 +0100 |
wenzelm |
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
|
file |
diff |
annotate
|