| 2019-03-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2019-03-10 |
paulson |
merged
|
changeset |
files
|
| 2019-03-10 |
paulson |
tidied up HOL/ex/Primrec
|
changeset |
files
|
| 2019-03-08 |
haftmann |
proper code_simp setup for literals
|
changeset |
files
|
| 2019-03-08 |
wenzelm |
tuned -- more explicit type node_presentation;
|
changeset |
files
|
| 2019-03-08 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2019-03-08 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2019-03-07 |
paulson |
renamed the constant "limit" as it is too "generic"
|
changeset |
files
|
| 2019-03-07 |
paulson |
new material for Analysis
|
changeset |
files
|
| 2019-03-06 |
wenzelm |
proper option (amending cc0b3e177b49);
|
changeset |
files
|
| 2019-03-06 |
wenzelm |
removed junk;
|
changeset |
files
|
| 2019-03-06 |
wenzelm |
updated to polyml-5.8-20190306;
|
changeset |
files
|
| 2019-03-06 |
wenzelm |
afford redundant whitespace for improved readability;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
recover original order;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
tuned;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
merged
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
clarified signature: more general types;
|
changeset |
files
|
| 2019-03-05 |
wenzelm |
afford redundant whitespace for improved readability;
|
changeset |
files
|
| 2019-03-05 |
haftmann |
avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
clarified signature -- allow more re-use;
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
concrete predicates from "Dublin Core";
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2019-03-03 |
wenzelm |
tuned document;
|
changeset |
files
|
| 2019-03-01 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
changeset |
files
|
| 2019-03-01 |
wenzelm |
more uniform session_system_mode (see also e57416b649d5);
|
changeset |
files
|
| 2019-03-01 |
wenzelm |
more implicit reload, similar to VSCode;
|
changeset |
files
|
| 2019-03-01 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2019-02-28 |
wenzelm |
tuned proofs -- eliminated odd case_tac;
|
changeset |
files
|
| 2019-02-28 |
wenzelm |
more scalable on 32-bit Poly/ML;
|
changeset |
files
|
| 2019-02-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2019-02-27 |
wenzelm |
more line spacing, notably for ttfautohint (see 4791988fcbc4);
|
changeset |
files
|
| 2019-02-27 |
wenzelm |
more compact representation: approx. factor 2;
|
changeset |
files
|
| 2019-02-27 |
wenzelm |
more scalable on 32-bit Poly/ML;
|
changeset |
files
|
| 2019-02-27 |
wenzelm |
clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
|
changeset |
files
|
| 2019-02-27 |
wenzelm |
tuned;
|
changeset |
files
|
| 2019-02-25 |
wenzelm |
tuned;
|
changeset |
files
|
| 2019-02-24 |
wenzelm |
clarified signature, notably for hol4isabelle (by Fabian Immler);
|
changeset |
files
|
| 2019-02-24 |
wenzelm |
updated to jedit_build-20190224 (new patches: favorites, glyphvector);
|
changeset |
files
|
| 2019-02-24 |
wenzelm |
fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
|
changeset |
files
|
| 2019-02-24 |
wenzelm |
formal update of patches -- no change of content;
|
changeset |
files
|
| 2019-02-24 |
wenzelm |
removed junk;
|
changeset |
files
|
| 2019-02-23 |
immler |
merged
|
changeset |
files
|
| 2019-02-23 |
immler |
bundles for floatarith notation
|
changeset |
files
|
| 2019-02-23 |
wenzelm |
merged
|
changeset |
files
|
| 2019-02-23 |
wenzelm |
tuned output;
|
changeset |
files
|
| 2019-02-23 |
wenzelm |
more memory fields;
|
changeset |
files
|
| 2019-02-23 |
wenzelm |
obsolete;
|
changeset |
files
|
| 2019-02-23 |
immler |
no more shadowing of Min and Max by Approximation
|
changeset |
files
|
| 2019-02-21 |
haftmann |
streamlined specification interfaces
|
changeset |
files
|
| 2019-02-21 |
haftmann |
sligthly more interpunctation and qualification
|
changeset |
files
|
| 2019-02-21 |
haftmann |
tuned whitespace
|
changeset |
files
|
| 2019-02-20 |
wenzelm |
physical vs. logical events, the latter takes GC time into account;
|
changeset |
files
|
| 2019-02-20 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| 2019-02-20 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| 2019-02-20 |
wenzelm |
tuned;
|
changeset |
files
|