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

merged
2014-10-31, by wenzelm
tuned;
2014-10-31, by wenzelm
provide explicit theory (amending 621c052789b4);
2014-10-31, by wenzelm
removed pointless markup;
2014-10-31, by wenzelm
discontinued obsolete \<^sync> marker;
2014-10-31, by wenzelm
discontinued obsolete control command category;
2014-10-31, by wenzelm
obsolete;
2014-10-31, by wenzelm
obsolete;
2014-10-31, by wenzelm
discontinued obsolete tty and prompt;
2014-10-31, by wenzelm
discontinued pointless option: timing is always on (overall theory only);
2014-10-31, by wenzelm
eliminated odd flags and hook;
2014-10-31, by wenzelm
avoid noise (cf. 03ff4d1e6784);
2014-10-31, by wenzelm
discontinued Isar TTY loop;
2014-10-31, by wenzelm
removed obsolete Proof General commands;
2014-10-31, by wenzelm
obsolete;
2014-10-31, by wenzelm
discontinued obsolete Output.urgent_message;
2014-10-31, by wenzelm
discontinued Proof General;
2014-10-31, by wenzelm
Some comments and a new version of a result
2014-10-31, by paulson
merged
2014-10-30, by wenzelm
eliminated aliases;
2014-10-30, by wenzelm
eliminated aliases;
2014-10-30, by wenzelm
eliminated aliases;
2014-10-30, by wenzelm
tuned spelling;
2014-10-30, by wenzelm
hardwired imitation of copy.shortcut2 default;
2014-10-30, by wenzelm
more simp rules concerning dvd and even/odd
2014-10-30, by haftmann
choose_reduce_nat: re-ordered operands
2014-10-30, by paulson
make SML/NJ more happy;
2014-10-30, by wenzelm
proper syntax categery "name" -- as usual and as documented;
2014-10-30, by wenzelm
disable coercions for NO_MATCH
2014-10-30, by hoelzl
merged
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
merged
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
tuned;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
modernized setup;
2014-10-29, by wenzelm
more standard theory name;
2014-10-29, by wenzelm
more iterators;
2014-10-29, by wenzelm
removed useless lemmas
2014-10-29, by nipkow
tuned layout and proofs
2014-10-29, by nipkow
tuned proofs;
2014-10-28, by wenzelm
increase chances that HOL-Proofs image still works for polyml-5.3.0;
2014-10-28, by wenzelm
tuned signature;
2014-10-28, by wenzelm
proper selectMatch, e.g. relevant for S-click on gutter;
2014-10-28, by wenzelm
find command span in buffer;
2014-10-28, by wenzelm
'notepad' requires proper nesting of begin/end;
2014-10-28, by wenzelm
explicit keyword category for commands that may start a block;
2014-10-28, by wenzelm
updated keywords;
2014-10-28, by wenzelm

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

isabelle