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

proper Symbol.decode/encode;
2015-08-07, by wenzelm
eval ML context;
2015-08-07, by wenzelm
maintain history more often;
2015-08-07, by wenzelm
approximate old selection after update;
2015-08-06, by wenzelm
expand all rows for robustness and simplicity;
2015-08-06, by wenzelm
evaluate ML expressions within debugger context;
2015-08-06, by wenzelm
clarified debugger loop;
2015-08-06, by wenzelm
clarified thread state;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
more controls;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
clarified signature, to make debugger.ML compile with current official ML versions;
2015-08-06, by wenzelm
support for tree selection;
2015-08-05, by wenzelm
proper dynamic update;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more GUI components;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more controls;
2015-08-05, by wenzelm
proper initialization;
2015-08-05, by wenzelm
tuned signature;
2015-08-05, by wenzelm
protocol support for thread debugger state;
2015-08-05, by wenzelm
eliminated clone;
2015-08-04, by wenzelm
merged
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more documentation of coercions
2015-08-04, by traytel
merged
2015-07-30, by wenzelm
clarified management of (single) session;
2015-07-30, by wenzelm
maintain debugger output messages;
2015-07-30, by wenzelm
provide CharSequence operations as well;
2015-07-30, by wenzelm
more GUI components;
2015-07-29, by wenzelm
tuned;
2015-07-29, by wenzelm
separate channel for debugger output;
2015-07-29, by wenzelm
clarified thread name;
2015-07-29, by wenzelm
add coinduction rule for infinite
2015-07-30, by Andreas Lochbihler
merged
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
more explicit context;
2015-07-28, by wenzelm
eliminated dead code;
2015-07-28, by wenzelm
clarified Variable.gen_all;
2015-07-28, by wenzelm
more explicit context;
2015-07-28, by wenzelm
more direct access to atomic cterms;
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
proper context;
2015-07-28, by wenzelm
more direct access to atomic cterms;
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
merged
2015-07-28, by immler
merged
2015-07-28, by immler
added theory Uniform_Limit
2015-07-28, by immler
evade timeout problem on macbroy6 (potentially due to NFS oddities);
2015-07-28, by wenzelm
tweaks. Got rid of a really slow step
2015-07-28, by paulson
the Cauchy integral theorem and related material
2015-07-28, by paulson
depth -> height; removed del_rightmost (too specifi)
2015-07-28, by nipkow
tuned;
2015-07-27, by wenzelm
merged
2015-07-27, by wenzelm
tuned signature;
2015-07-27, by wenzelm
formal class for factorial (semi)rings
2015-07-27, by haftmann

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

isabelle