isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle