2021-11-06 |
wenzelm |
clarified physical_ref;
|
changeset |
files
|
2021-11-06 |
wenzelm |
proper treatment of session build hierarchy;
|
changeset |
files
|
2021-11-05 |
wenzelm |
proper used_theories for session build hierarchy, not known_theories from imported sessions;
|
changeset |
files
|
2021-11-05 |
wenzelm |
present theories from imported sessions as required;
|
changeset |
files
|
2021-11-05 |
wenzelm |
avoid multiple copies of fonts;
|
changeset |
files
|
2021-11-05 |
wenzelm |
more compact persistent data;
|
changeset |
files
|
2021-11-05 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-05 |
wenzelm |
proper term_cache;
|
changeset |
files
|
2021-11-05 |
wenzelm |
prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti;
|
changeset |
files
|
2021-11-05 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-05 |
wenzelm |
observer proper session hierarchy (according to build_graph): thus exported artifacts are always valid;
|
changeset |
files
|
2021-11-05 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-05 |
wenzelm |
clarified order: prefer bottom-up construction of partial content;
|
changeset |
files
|
2021-11-05 |
wenzelm |
more thorough update_global_index: overwrite old content;
|
changeset |
files
|
2021-11-05 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-05 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-05 |
wenzelm |
clarified HTML_Context: just one context type;
|
changeset |
files
|
2021-11-05 |
wenzelm |
unused (see also 217e6cf61453, 5e7916535860);
|
changeset |
files
|
2021-11-04 |
wenzelm |
merged
|
changeset |
files
|
2021-11-04 |
wenzelm |
clarified Theory_Cache: prefer immutable data with Synchronized variable;
|
changeset |
files
|
2021-11-04 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-11-04 |
wenzelm |
unused;
|
changeset |
files
|
2021-11-04 |
Mathias Fleury |
proper support of verit's return code for timeout
|
changeset |
files
|
2021-11-04 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
2021-11-04 |
wenzelm |
updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
|
changeset |
files
|
2021-11-04 |
wenzelm |
clarified signature;
|
changeset |
files
|
2021-11-04 |
wenzelm |
prefer official Export.explode_name;
|
changeset |
files
|
2021-11-04 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-04 |
wenzelm |
avoid conflict with future keyword;
|
changeset |
files
|
2021-11-04 |
wenzelm |
tuned messages;
|
changeset |
files
|
2021-11-04 |
wenzelm |
clarified signature: more direct XML.symbol_length;
|
changeset |
files
|
2021-11-04 |
wenzelm |
more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it;
|
changeset |
files
|
2021-11-04 |
wenzelm |
tuned -- eliminate clones stemming from d28a51dd9da6;
|
changeset |
files
|
2021-11-03 |
wenzelm |
more to ANNOUNCE;
|
changeset |
files
|
2021-11-03 |
wenzelm |
clarified link style: similar to Isabelle/jEdit;
|
changeset |
files
|
2021-11-03 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-03 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
changeset |
files
|
2021-11-03 |
wenzelm |
proper HTTPS;
|
changeset |
files
|
2021-11-03 |
wenzelm |
proper markup type (amending be49c660ebbf);
|
changeset |
files
|
2021-11-03 |
wenzelm |
merged;
|
changeset |
files
|
2021-11-03 |
wenzelm |
more PIDE markup;
|
changeset |
files
|
2021-11-03 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-11-03 |
wenzelm |
more PIDE markup;
|
changeset |
files
|
2021-11-03 |
wenzelm |
recover library_index_content.template from c337c798f64c: required for website/build/main;
|
changeset |
files
|
2021-11-03 |
paulson |
merged
|
changeset |
files
|
2021-11-02 |
paulson |
simplified some ugly proofs
|
changeset |
files
|
2021-11-03 |
wenzelm |
more generous timeout: support build on Raspberry Pi;
|
changeset |
files
|
2021-11-03 |
traytel |
add documentation for pred_mono
|
changeset |
files
|
2021-11-03 |
desharna |
merged
|
changeset |
files
|
2021-11-02 |
desharna |
added "mono" attribute to BNF generated pred_mono theorems
|
changeset |
files
|
2021-11-02 |
desharna |
merged
|
changeset |
files
|
2021-10-29 |
desharna |
do not declare $let-bound variables in TPTP output
|
changeset |
files
|
2021-11-02 |
wenzelm |
IDE build actually works (but somewhat pointless);
|
changeset |
files
|
2021-11-02 |
wenzelm |
suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
|
changeset |
files
|
2021-11-02 |
wenzelm |
removed junk;
|
changeset |
files
|
2021-11-02 |
wenzelm |
improve pagebreaks by *not* using supertabular too much;
|
changeset |
files
|
2021-11-02 |
wenzelm |
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
|
changeset |
files
|
2021-11-02 |
wenzelm |
more robust "isabelle scala_project": Gradle has been replaced by Maven;
|
changeset |
files
|
2021-11-01 |
wenzelm |
tuned;
|
changeset |
files
|
2021-11-01 |
wenzelm |
support linux_arm as well, e.g. native Docker on Apple Silicon;
|
changeset |
files
|
2021-11-01 |
wenzelm |
update paths at TUM;
|
changeset |
files
|
2021-11-01 |
wenzelm |
Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
|
changeset |
files
|
2021-11-01 |
wenzelm |
updated for release;
|
changeset |
files
|
2021-11-01 |
wenzelm |
some reordering for release;
|
changeset |
files
|
2021-11-01 |
wenzelm |
updated to jdk-17.0.1+12;
|
changeset |
files
|
2021-11-01 |
wenzelm |
tuned message;
|
changeset |
files
|
2021-10-31 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-31 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-31 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
2021-10-30 |
wenzelm |
more robust;
|
changeset |
files
|
2021-10-30 |
wenzelm |
provide native executables for arm64-darwin, for more robust startup without Rosetta 2;
|
changeset |
files
|
2021-10-30 |
wenzelm |
tuned proofs -- avoid z3, which is unavailable on arm64-linux;
|
changeset |
files
|
2021-10-30 |
wenzelm |
prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;
|
changeset |
files
|
2021-10-30 |
wenzelm |
discontinued pointless check of kodkodi_version, it is implicit in the bundled component;
|
changeset |
files
|
2021-10-30 |
wenzelm |
tuned proofs -- avoid z3, which is unavailable on arm64-linux;
|
changeset |
files
|
2021-10-30 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-30 |
wenzelm |
test version of prespective polyml-5.9;
|
changeset |
files
|
2021-10-30 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-30 |
wenzelm |
updated for pre-5.9 testing;
|
changeset |
files
|
2021-10-30 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-30 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-29 |
wenzelm |
more robust subgoal addressing;
|
changeset |
files
|
2021-10-29 |
wenzelm |
proper subgoal addressing;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-29 |
wenzelm |
recursive find_eq, not find_dist;
|
changeset |
files
|
2021-10-29 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-29 |
Lukas Stevens |
order_tac: prevent potential bug, improve perf and tracing
|
changeset |
files
|
2021-10-29 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations: no need for Thm.beta_conversion, due to Thm.instantiate_beta;
|
changeset |
files
|
2021-10-29 |
wenzelm |
clarified antiquotations: no need for Thm.beta_conversion, due to Thm.instantiate_beta;
|
changeset |
files
|
2021-10-29 |
wenzelm |
avoid persistence of static context: instantiation arguments should provide proper dynamic context (see also e2e2bc1f9570);
|
changeset |
files
|
2021-10-29 |
wenzelm |
added Thm.instantiate_beta;
|
changeset |
files
|
2021-10-28 |
haftmann |
moved generic implementation into HOL-Main
|
changeset |
files
|
2021-10-28 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-28 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
discontinued somewhat pointless antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
NEWS;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations, assuming that Drule.instantiate_normalize was merely a historical relic;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
support for "lemma";
|
changeset |
files
|
2021-10-28 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-28 |
wenzelm |
local fixes for "lemma" antiquotation;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified signature;
|
changeset |
files
|
2021-10-28 |
wenzelm |
tuned;
|
changeset |
files
|
2021-10-28 |
wenzelm |
clarified keywords: major take precedence for commands, but not used for antiquotations;
|
changeset |
files
|
2021-10-28 |
wenzelm |
tuned modules;
|
changeset |
files
|
2021-10-27 |
wenzelm |
more antiquotations;
|
changeset |
files
|
2021-10-27 |
paulson |
moved a theorem to a sensible place
|
changeset |
files
|
2021-10-26 |
wenzelm |
merged
|
changeset |
files
|
2021-10-26 |
wenzelm |
tuned, continuing e955964d89cb;
|
changeset |
files
|
2021-10-26 |
wenzelm |
avoid waste of resources due to dynamic simpset (amending 45c09620f726);
|
changeset |
files
|
2021-10-26 |
Norbert Schirmer |
fix latex
|
changeset |
files
|