2020-10-15 |
wenzelm |
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
|
file |
diff |
annotate
|
2020-10-13 |
wenzelm |
merged
|
file |
diff |
annotate
|
2020-10-13 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2020-10-13 |
Mathias Fleury |
reconstruction of veriT proofs in NEWS
|
file |
diff |
annotate
|
2020-10-12 |
Mathias Fleury |
add reconstruction for the SMT solver veriT
|
file |
diff |
annotate
|
2020-10-12 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2020-10-12 |
haftmann |
replaced combinators by more conventional nesting pattern
|
file |
diff |
annotate
|
2020-10-12 |
haftmann |
consolidated names and operations
|
file |
diff |
annotate
|
2020-10-07 |
haftmann |
consolidated for the sake of documentation
|
file |
diff |
annotate
|
2020-09-29 |
wenzelm |
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
|
file |
diff |
annotate
|
2020-09-28 |
wenzelm |
clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
|
file |
diff |
annotate
|
2020-09-27 |
wenzelm |
ISABELLE_PDFLATEX is now lualatex;
|
file |
diff |
annotate
|
2020-09-26 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
2020-09-25 |
wenzelm |
clarified defaults for nitpick;
|
file |
diff |
annotate
|
2020-09-25 |
haftmann |
factored out typedef material
|
file |
diff |
annotate
|
2020-09-23 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
file |
diff |
annotate
|
2020-09-17 |
haftmann |
typo
|
file |
diff |
annotate
|
2020-09-17 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2020-09-10 |
wenzelm |
more uniform JVM vs. ML status widget;
|
file |
diff |
annotate
|
2020-09-08 |
wenzelm |
update to official jedit-5.6.0;
|
file |
diff |
annotate
|
2020-08-31 |
wenzelm |
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
|
file |
diff |
annotate
|
2020-08-25 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2020-08-17 |
wenzelm |
allow user-defined server commands via isabelle_scala_service;
|
file |
diff |
annotate
|
2020-08-17 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
2020-08-13 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
2020-08-07 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2020-08-06 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
2020-08-05 |
haftmann |
separation of reversed bit lists from other material
|
file |
diff |
annotate
|
2020-08-04 |
haftmann |
uniform mask operation
|
file |
diff |
annotate
|
2020-08-01 |
haftmann |
more consequent transferability
|
file |
diff |
annotate
|
2020-07-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2020-07-20 |
wenzelm |
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
|
file |
diff |
annotate
|
2020-07-16 |
haftmann |
yet another alias
|
file |
diff |
annotate
|
2020-07-13 |
haftmann |
concatentation of bit values
|
file |
diff |
annotate
|
2020-07-11 |
haftmann |
signed_take_bit
|
file |
diff |
annotate
|
2020-07-09 |
desharna |
Update Metis to 2.4
|
file |
diff |
annotate
|
2020-07-06 |
blanchet |
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
|
file |
diff |
annotate
|
2020-07-06 |
haftmann |
separation of traditional bit operations
|
file |
diff |
annotate
|
2020-07-02 |
haftmann |
extraction of equations x = t from premises beneath meta-all
|
file |
diff |
annotate
|
2020-07-02 |
haftmann |
removed superfluous dependency
|
file |
diff |
annotate
|
2020-07-01 |
haftmann |
factored out ancient numeral representation
|
file |
diff |
annotate
|
2020-07-01 |
haftmann |
moved to Word_Lib
|
file |
diff |
annotate
|
2020-06-21 |
wenzelm |
clarified NEWS;
|
file |
diff |
annotate
|
2020-06-20 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
2020-06-19 |
wenzelm |
merged
|
file |
diff |
annotate
|
2020-06-19 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
2020-06-19 |
haftmann |
prefer single name
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
build bit operations on word on library theory on bit operations
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
bit operations as distinctive library theory
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
dropped yet another duplicate
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
replaced mere alias by abbreviation
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
replaced operation with weak abstraction by input abbreviation
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
avoid compound operation
|
file |
diff |
annotate
|
2020-06-18 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
2020-06-17 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
2020-06-10 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
2020-06-08 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2020-06-08 |
wenzelm |
clarified sessions: "Notable Examples in Isabelle/Pure";
|
file |
diff |
annotate
|
2020-06-06 |
haftmann |
NEWS
|
file |
diff |
annotate
|