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