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