| 2018-05-29 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
shutdown ML process before output: Theories_Result is timeless/stateless;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
more operations;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
more accurate dependencies;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
more formal dump aspects;
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
more operations (as in ML);
|
changeset |
files
|
| 2018-05-29 |
wenzelm |
clarified option -O: avoid conflict with build/dump option -D;
|
changeset |
files
|
| 2018-05-29 |
nipkow |
slicker proof
|
changeset |
files
|
| 2018-05-29 |
nipkow |
canonical names
|
changeset |
files
|
| 2018-05-28 |
paulson |
merged
|
changeset |
files
|
| 2018-05-28 |
paulson |
more general tidying
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
merged
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
support to dump build database produced by PIDE session;
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2018-05-28 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2018-05-27 |
paulson |
merged
|
changeset |
files
|
| 2018-05-27 |
paulson |
tidying up a bit more
|
changeset |
files
|
| 2018-05-27 |
wenzelm |
prefer existing operation;
|
changeset |
files
|
| 2018-05-27 |
wenzelm |
retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later;
|
changeset |
files
|
| 2018-05-27 |
wenzelm |
clarified signature -- avoid confusion with Resources.is_hidden;
|
changeset |
files
|
| 2018-05-27 |
wenzelm |
markup for deleted fragments of token source (NB: quoted tokens transform "\123" implicitly);
|
changeset |
files
|
| 2018-05-26 |
paulson |
merged
|
changeset |
files
|
| 2018-05-26 |
paulson |
tidying and reorganisation around Cauchy Integral Theorem
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
export sort algebra;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
tuned;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
tuned;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
support 'export_files' in session ROOT;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
clarified output;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
support multiple patterns;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
clarified cache;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2018-05-26 |
wenzelm |
tuned output;
|
changeset |
files
|
| 2018-05-26 |
paulson |
merged
|
changeset |
files
|
| 2018-05-26 |
paulson |
merged
|
changeset |
files
|
| 2018-05-26 |
paulson |
tidied some proofs
|
changeset |
files
|
| 2018-05-24 |
paulson |
merged
|
changeset |
files
|
| 2018-05-24 |
paulson |
merged
|
changeset |
files
|
| 2018-05-24 |
paulson |
more small tidying
|
changeset |
files
|
| 2018-05-26 |
Lars Hupel |
merged
|
changeset |
files
|
| 2018-05-25 |
Lars Hupel |
macOS build: exclude HOL-Proofs
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
tuned;
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
merged
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
added command 'ML_export';
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
more examples;
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
tuned output;
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
pretty-print according to defaults of input syntax;
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
more accurate diagram;
|
changeset |
files
|
| 2018-05-25 |
wenzelm |
proper output;
|
changeset |
files
|
| 2018-05-24 |
haftmann |
treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
merged
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
setup server directory for Cygwin quasi-mirror;
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
more scalable JVM memory management;
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
tuned output;
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
more general cache, also for term substructures;
|
changeset |
files
|
| 2018-05-24 |
wenzelm |
more exports;
|
changeset |
files
|
| 2018-05-24 |
immler |
generalized Cramer's rule
|
changeset |
files
|