NEWS
2 months ago wenzelm 2020-05-18 follow Phabricator update 2020 Week 19;
2 months ago paulson 2020-05-14 The Uniq quantifier for FOL too
2 months ago Manuel Eberl 2020-05-13 new constant power_int in HOL
3 months ago Manuel Eberl 2020-05-04 New HOL simproc 'datatype_no_proper_subterm'
2 months ago paulson 2020-05-12 Fixes for Sup{} = (0::nat)
3 months ago wenzelm 2020-04-28 added "isabelle sessions" tool;
3 months ago haftmann 2020-04-21 hooks for foundational terms: protection of foundational terms during simplification
3 months ago wenzelm 2020-04-15 merged
3 months ago wenzelm 2020-04-13 tuned NEWS;
3 months ago wenzelm 2020-04-12 tuned NEWS;
3 months ago wenzelm 2020-04-09 tuned;
3 months ago wenzelm 2020-04-08 another isabelle_scala_service;
3 months ago wenzelm 2020-04-08 more general support for isabelle_scala_service; clarified File_Format.registry;
4 months ago wenzelm 2020-04-07 NEWS;
4 months ago wenzelm 2020-04-06 NEWS;
4 months ago wenzelm 2020-04-02 merged
4 months ago wenzelm 2020-03-25 more NEWS;
4 months ago wenzelm 2020-03-21 merged;
4 months ago wenzelm 2020-03-21 more NEWS;
4 months ago wenzelm 2020-03-20 more NEWS;
4 months ago wenzelm 2020-03-15 back to post-release mode;
4 months ago wenzelm 2020-03-14 tuned;
4 months ago wenzelm 2020-03-13 proper escape for literal single quotes;
4 months ago wenzelm 2020-03-13 allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
4 months ago wenzelm 2020-03-12 updated for release;
4 months ago Manuel Eberl 2020-03-10 updated NEWS w.r.t. e0237f2eb49d
5 months ago wenzelm 2020-03-06 support Java/VM monitoring via jconsole;
5 months ago wenzelm 2020-03-02 more documentation;
5 months ago wenzelm 2020-03-01 more Isabelle/jEdit actions;
5 months ago wenzelm 2020-02-29 more Isabelle/jEdit actions;
5 months ago wenzelm 2020-02-28 NEWS;
5 months ago wenzelm 2020-02-26 updated for release;
5 months ago wenzelm 2020-02-26 updated for release;
5 months ago wenzelm 2020-02-25 update to WebviewPanel API, following initial version by Peter Zeller;
5 months ago wenzelm 2020-02-16 NEWS;
5 months ago wenzelm 2020-02-15 NEWS;
5 months ago wenzelm 2020-02-11 updated for release;
5 months ago wenzelm 2020-02-11 updated for release;
5 months ago wenzelm 2020-02-10 proper symbols;
5 months ago wenzelm 2020-02-10 NEWS;
5 months ago wenzelm 2020-02-10 recover from Unicode accident in 4abd07cd034f;
5 months ago wenzelm 2020-02-10 NEWS;
5 months ago wenzelm 2020-02-10 NEWS;
5 months ago wenzelm 2020-02-10 tuned;
5 months ago wenzelm 2020-02-10 tuned;
6 months ago wenzelm 2020-01-15 added "isabelle scala_project" to support e.g. IntelliJ IDEA;
7 months ago wenzelm 2019-12-23 NEWS;
7 months ago wenzelm 2019-12-19 NEWS;
7 months ago wenzelm 2019-12-16 tuned NEWS;
7 months ago wenzelm 2019-12-16 tuned;
7 months ago traytel 2019-12-10 NEWS, CONTRIBUTORS, and documentation
8 months ago paulson 2019-12-09 Ramsey with multiple colours and arbitrary exponents
8 months ago ballarin 2019-11-26 Remove diagnostic command 'print_dependencies'.
8 months ago haftmann 2019-11-22 tuned whitespace
8 months ago haftmann 2019-11-22 proper prefix syntax
8 months ago wenzelm 2019-11-21 tuned;
8 months ago wenzelm 2019-11-14 NEWS;
9 months ago immler 2019-10-27 NEWS
9 months ago nipkow 2019-10-27 NEWS
10 months ago haftmann 2019-10-09 dedicated fact collections for algebraic simplification rules potentially splitting goals