| Fri, 16 Mar 2012 22:26:55 +0100 |
haftmann |
tuned specifications
|
changeset |
files
|
| Sat, 17 Mar 2012 11:23:14 +0100 |
wenzelm |
sort via string_ord (as secondary key), not fast_string_ord via Symtab.fold;
|
changeset |
files
|
| Sat, 17 Mar 2012 10:55:08 +0100 |
wenzelm |
tuned grouping -- merely indicate order of magnitude;
|
changeset |
files
|
| Sat, 17 Mar 2012 10:54:15 +0100 |
wenzelm |
slightly more parallel find_theorems;
|
changeset |
files
|
| Sat, 17 Mar 2012 09:51:18 +0100 |
wenzelm |
'definition' no longer exports the foundational "raw_def";
|
changeset |
files
|
| Sat, 17 Mar 2012 00:17:30 +0100 |
wenzelm |
some attempts to fit source on screen;
|
changeset |
files
|
| Fri, 16 Mar 2012 22:48:38 +0100 |
wenzelm |
eliminated odd 'finalconsts' / Theory.add_finals;
|
changeset |
files
|
| Fri, 16 Mar 2012 22:31:19 +0100 |
wenzelm |
modernized axiomatization;
|
changeset |
files
|
| Fri, 16 Mar 2012 22:22:05 +0100 |
wenzelm |
modernized axiomatization;
|
changeset |
files
|
| Fri, 16 Mar 2012 21:59:19 +0100 |
wenzelm |
afford strict Args.type_name (cf. 29e88714ffe4);
|
changeset |
files
|
| Fri, 16 Mar 2012 21:40:21 +0100 |
wenzelm |
check declared vs. defined commands at end of session;
|
changeset |
files
|
| Fri, 16 Mar 2012 21:20:23 +0100 |
wenzelm |
more abstract heading level;
|
changeset |
files
|
| Fri, 16 Mar 2012 20:45:47 +0100 |
wenzelm |
less redundant data;
|
changeset |
files
|
| Fri, 16 Mar 2012 20:33:33 +0100 |
wenzelm |
uniform keyword names within ML/Scala -- produce elisp names via external conversion;
|
changeset |
files
|
| Fri, 16 Mar 2012 18:21:22 +0100 |
wenzelm |
merged
|
changeset |
files
|