| 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
|