| 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
|
| 2020-05-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| 2020-05-18 |
wenzelm |
follow Phabricator update 2020 Week 19;
|
file |
diff |
annotate
|
| 2020-05-14 |
paulson |
The Uniq quantifier for FOL too
|
file |
diff |
annotate
|
| 2020-05-13 |
Manuel Eberl |
new constant power_int in HOL
|
file |
diff |
annotate
|
| 2020-05-04 |
Manuel Eberl |
New HOL simproc 'datatype_no_proper_subterm'
|
file |
diff |
annotate
|
| 2020-05-12 |
paulson |
Fixes for Sup{} = (0::nat)
|
file |
diff |
annotate
|
| 2020-04-28 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| 2020-04-21 |
haftmann |
hooks for foundational terms: protection of foundational terms during simplification
|
file |
diff |
annotate
|
| 2020-04-15 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-04-13 |
wenzelm |
tuned NEWS;
Isabelle2020
|
file |
diff |
annotate
|
| 2020-04-12 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2020-04-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-04-08 |
wenzelm |
another isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-04-08 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-04-07 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-04-06 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-04-02 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-03-25 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-21 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2020-03-21 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-20 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-15 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2020-03-14 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-03-13 |
wenzelm |
proper escape for literal single quotes;
|
file |
diff |
annotate
|
| 2020-03-13 |
wenzelm |
allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
|
file |
diff |
annotate
|
| 2020-03-12 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-03-10 |
Manuel Eberl |
updated NEWS w.r.t. e0237f2eb49d
|
file |
diff |
annotate
|
| 2020-03-06 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| 2020-03-02 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2020-03-01 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| 2020-02-29 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| 2020-02-28 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-26 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-26 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-25 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|