| Mon, 30 Sep 2013 16:28:54 +0200 |
blanchet |
added possibility to reset builtins (for experimentation)
|
changeset |
files
|
| Mon, 30 Sep 2013 16:07:56 +0200 |
blanchet |
just one data slot (record) per program unit
|
changeset |
files
|
| Mon, 30 Sep 2013 15:10:18 +0200 |
blanchet |
more "primrec_new" documentation
|
changeset |
files
|
| Mon, 30 Sep 2013 14:19:33 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 30 Sep 2013 14:17:27 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:45:17 +0200 |
wenzelm |
eliminated clone of Inductive.mk_cases_tac;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:35:05 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:29:09 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:20:44 +0200 |
wenzelm |
provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl);
|
changeset |
files
|
| Mon, 30 Sep 2013 14:04:26 +0200 |
blanchet |
merge
|
changeset |
files
|
| Mon, 30 Sep 2013 13:59:07 +0200 |
blanchet |
minor tweak to error message
|
changeset |
files
|
| Mon, 30 Sep 2013 11:20:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 18:51:01 +0200 |
wenzelm |
explicit caret position after replacement;
|
changeset |
files
|
| Sun, 29 Sep 2013 16:01:22 +0200 |
haftmann |
tuned proofs
|
changeset |
files
|
| Sun, 29 Sep 2013 14:07:47 +0200 |
wenzelm |
observe user preferences;
|
changeset |
files
|
| Sun, 29 Sep 2013 13:53:16 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:56:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:49:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:44:40 +0200 |
wenzelm |
more on text completion;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:21:11 +0200 |
wenzelm |
made SML/NJ happy (NB: toplevel ML environment is unmanaged);
|
changeset |
files
|
| Sun, 29 Sep 2013 12:18:47 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:17:02 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:59:01 +0200 |
wenzelm |
updated to sumatra_pdf-2.3.2;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:21:02 +0200 |
wenzelm |
low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
|
changeset |
files
|