2016-09-05 blanchet 2016-09-05 export more ML functions
2016-09-05 blanchet 2016-09-05 added warning
2016-09-04 wenzelm 2016-09-04 tuned;
2016-09-04 wenzelm 2016-09-04 tuned signature;
2016-09-04 wenzelm 2016-09-04 clarified exceptions;
2016-09-04 wenzelm 2016-09-04 support for (single) primary key; more operations;
2016-09-04 wenzelm 2016-09-04 more operations; clarified NULL treatment;
2016-09-04 wenzelm 2016-09-04 more operations;
2016-09-04 wenzelm 2016-09-04 clarified modules; tuned signature;
2016-09-03 wenzelm 2016-09-03 tuned;
2016-09-03 wenzelm 2016-09-03 minimal support for SQLite databases;
2016-09-02 wenzelm 2016-09-02 merged
2016-09-02 wenzelm 2016-09-02 make double-sure that refresh happens eventually, even without edits (e.g. height change) -- amending 8bf765c9c2e5;
2016-09-02 wenzelm 2016-09-02 simplified;
2016-09-02 wenzelm 2016-09-02 tuned;
2016-09-02 nipkow 2016-09-02 merged
2016-09-02 nipkow 2016-09-02 added lemmas
2016-09-02 blanchet 2016-09-02 consider equality proxy in monotonicity analysis
2016-09-02 blanchet 2016-09-02 adapted remote E
2016-09-02 Manuel Eberl 2016-09-02 Merged
2016-09-01 Manuel Eberl 2016-09-01 Some facts about factorial and binomial coefficients
2016-09-02 nipkow 2016-09-02 added inorder2
2016-09-01 wenzelm 2016-09-01 tuned headers;
2016-09-01 wenzelm 2016-09-01 clarified session: use all theories in directory HOL/Library;
2016-09-01 wenzelm 2016-09-01 clarified session; misc tuning and modernization;
2016-09-01 wenzelm 2016-09-01 more careful quoting, e.g. relevant for \<^control>cartouche;
2016-09-01 wenzelm 2016-09-01 uniform capitalization of labels;
2016-09-01 wenzelm 2016-09-01 tuned message;
2016-09-01 wenzelm 2016-09-01 merged
2016-09-01 wenzelm 2016-09-01 avoid conflict after initial keymap migration;
2016-09-01 nipkow 2016-09-01 merged
2016-09-01 nipkow 2016-09-01 Renamed balanced to complete; added balanced; more about both
2016-09-01 wenzelm 2016-09-01 tuned GUI: modal dialog last;
2016-09-01 wenzelm 2016-09-01 tuned message;
2016-09-01 wenzelm 2016-09-01 merged
2016-09-01 wenzelm 2016-09-01 NEWS;
2016-09-01 wenzelm 2016-09-01 more robust persistent storage; tuned;
2016-09-01 wenzelm 2016-09-01 clarified important directories;
2016-09-01 wenzelm 2016-09-01 separate action; tuned message;
2016-09-01 wenzelm 2016-09-01 check keymap changes on startup;
2016-09-01 wenzelm 2016-09-01 tuned message;
2016-09-01 wenzelm 2016-09-01 clarified GUI; tuned;
2016-09-01 wenzelm 2016-09-01 actual actions; tuned;
2016-09-01 wenzelm 2016-09-01 tuned;
2016-09-01 wenzelm 2016-09-01 clarified;
2016-09-01 wenzelm 2016-09-01 tuned GUI;
2016-08-31 wenzelm 2016-08-31 clarified GUI;
2016-08-31 wenzelm 2016-08-31 tuned GUI;
2016-08-31 wenzelm 2016-08-31 tuned rendering;
2016-08-31 wenzelm 2016-08-31 more table content, similar to org.gjt.sp.jedit.pluginmgr.ManagePanel;
2016-08-31 wenzelm 2016-08-31 clarified shortcut conflicts; tuned;
2016-08-31 wenzelm 2016-08-31 clarified (see 019856db2bb6, ea52509f4c42);
2016-08-30 wenzelm 2016-08-30 some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
2016-08-30 wenzelm 2016-08-30 added glyph from "Deja Vu Sans Mono" font;
2016-09-01 blanchet 2016-09-01 more robustness
2016-09-01 blanchet 2016-09-01 added theory to provide workaround to support nested datatypes in quickcheck (until quickcheck is generalized to support it with new datatypes)
2016-09-01 blanchet 2016-09-01 make workaround possible for Quickcheck with nesting
2016-08-30 blanchet 2016-08-30 tuned docs
2016-08-30 blanchet 2016-08-30 tuned final stop in message
2016-08-30 traytel 2016-08-30 generate proper goal when equation is entered programmatically