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