Wed, 30 May 2018 17:10:02 +0200 |
wenzelm |
store Isabelle symbols in canonical form;
|
changeset |
files
|
Wed, 30 May 2018 14:46:04 +0200 |
wenzelm |
clarified outermost progress.interrupt_handler;
|
changeset |
files
|
Wed, 30 May 2018 14:34:43 +0200 |
wenzelm |
report theory progress via PIDE node status;
|
changeset |
files
|
Thu, 31 May 2018 10:59:54 +0200 |
blanchet |
merge
|
changeset |
files
|
Thu, 31 May 2018 10:59:36 +0200 |
blanchet |
more conservative output, avoiding nonstandard feature of E
|
changeset |
files
|
Wed, 30 May 2018 23:11:28 +0100 |
paulson |
merged
|
changeset |
files
|
Wed, 30 May 2018 23:11:12 +0100 |
paulson |
winding numbers predicate
|
changeset |
files
|
Wed, 30 May 2018 13:44:53 +0200 |
nipkow |
unused
|
changeset |
files
|
Tue, 29 May 2018 22:29:32 +0200 |
wenzelm |
merged
|
changeset |
files
|
Tue, 29 May 2018 22:25:59 +0200 |
wenzelm |
more node status information;
|
changeset |
files
|
Tue, 29 May 2018 20:03:24 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 29 May 2018 20:00:10 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 29 May 2018 18:09:08 +0200 |
wenzelm |
shutdown ML process before output: Theories_Result is timeless/stateless;
|
changeset |
files
|
Tue, 29 May 2018 17:45:48 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
Tue, 29 May 2018 15:04:02 +0200 |
wenzelm |
more accurate dependencies;
|
changeset |
files
|
Tue, 29 May 2018 14:45:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 29 May 2018 14:38:32 +0200 |
wenzelm |
more formal dump aspects;
|
changeset |
files
|
Tue, 29 May 2018 14:25:39 +0200 |
wenzelm |
more operations (as in ML);
|
changeset |
files
|
Tue, 29 May 2018 13:45:51 +0200 |
wenzelm |
clarified option -O: avoid conflict with build/dump option -D;
|
changeset |
files
|
Tue, 29 May 2018 20:01:50 +0200 |
nipkow |
slicker proof
|
changeset |
files
|
Tue, 29 May 2018 14:05:59 +0200 |
nipkow |
canonical names
|
changeset |
files
|
Mon, 28 May 2018 23:15:30 +0100 |
paulson |
merged
|
changeset |
files
|
Mon, 28 May 2018 23:15:23 +0100 |
paulson |
more general tidying
|
changeset |
files
|
Mon, 28 May 2018 22:29:52 +0200 |
wenzelm |
merged
|
changeset |
files
|
Mon, 28 May 2018 22:25:10 +0200 |
wenzelm |
support to dump build database produced by PIDE session;
|
changeset |
files
|
Mon, 28 May 2018 21:29:03 +0200 |
wenzelm |
more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
|
changeset |
files
|
Mon, 28 May 2018 17:40:34 +0200 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
changeset |
files
|
Mon, 28 May 2018 13:35:43 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|