Thu, 29 Oct 2009 11:56:02 +0100 |
wenzelm |
less hermetic ML;
|
file |
diff |
annotate
|
Sun, 25 Oct 2009 13:18:35 +0100 |
wenzelm |
conceal consts via name space, not tags;
|
file |
diff |
annotate
|
Wed, 30 Sep 2009 22:31:16 +0200 |
wenzelm |
handle Type.TYPE_MATCH, not arbitrary exceptions;
|
file |
diff |
annotate
|
Wed, 17 Jun 2009 17:07:26 +0200 |
wenzelm |
more detailed start_timing/end_timing;
|
file |
diff |
annotate
|
Wed, 17 Jun 2009 15:14:48 +0200 |
wenzelm |
minor tuning according to Isabelle/ML conventions;
|
file |
diff |
annotate
|
Tue, 03 Mar 2009 12:14:52 +1100 |
Timothy Bourke |
Implement Makarius's suggestion for improved type pattern parsing.
|
file |
diff |
annotate
|
Mon, 02 Mar 2009 18:11:39 +1100 |
Timothy Bourke |
find_consts: fold in preference to foldl; hide internal constants; remove redundant exception catch
|
file |
diff |
annotate
|
Sun, 01 Mar 2009 23:36:12 +0100 |
wenzelm |
use long names for old-style fold combinators;
|
file |
diff |
annotate
|
Sun, 01 Mar 2009 16:22:37 +0100 |
wenzelm |
avoid fragile parsing of end_timing result -- would have produced GC time on MosML, for example;
|
file |
diff |
annotate
|
Fri, 27 Feb 2009 16:05:40 +0100 |
wenzelm |
observe basic Isabelle/ML coding conventions;
|
file |
diff |
annotate
|
Fri, 27 Feb 2009 15:46:22 +0100 |
wenzelm |
moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;
|
file |
diff |
annotate
| base
|