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

tuned message;
2014-12-23, by wenzelm
explicit message channels for "state", "information";
2014-12-23, by wenzelm
imitate font more carefully: err on smaller size;
2014-12-23, by wenzelm
more accurate selection of sessions;
2014-12-22, by wenzelm
more accurate selection of sessions;
2014-12-22, by wenzelm
discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
2014-12-22, by wenzelm
more elementary Multithreading.synchronized;
2014-12-22, by wenzelm
proper Synchronized.var;
2014-12-22, by wenzelm
removed remains from Proof General;
2014-12-22, by wenzelm
obsolete;
2014-12-22, by wenzelm
system option "pretty_margin" is superseded by "thy_output_margin";
2014-12-22, by wenzelm
tuned;
2014-12-22, by wenzelm
proper Synchronized.var;
2014-12-22, by wenzelm
separate module Random;
2014-12-22, by wenzelm
tuned;
2014-12-21, by wenzelm
tuned signature;
2014-12-21, by wenzelm
proper context;
2014-12-21, by wenzelm
afford more heap;
2014-12-21, by wenzelm
increase chances of success;
2014-12-21, by wenzelm
recovered metis proof after 115965966e15 (Odd clash of type variables!?);
2014-12-21, by wenzelm
proper context;
2014-12-21, by wenzelm
proper context for "net" tactics;
2014-12-20, by wenzelm
tuned;
2014-12-20, by wenzelm
afford full test, with slightly improved scheduling order;
2014-12-20, by wenzelm
more generous timeout, to increase chances of at64-poly;
2014-12-19, by wenzelm
updated according to eb3e399f5b9f;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm
more standard configuration options;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
just one data slot per program unit;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
more frugal Local_Syntax.init -- maintain idents within context;
2014-12-19, by wenzelm
proper exception for internal program failure, not user-error;
2014-12-19, by wenzelm
tuned;
2014-12-19, by wenzelm
suppress irrelevant timing messages (the majority);
2014-12-18, by wenzelm
less ambitious settings -- increase chances of success;
2014-12-18, by wenzelm
peek value without synchronization;
2014-12-18, by wenzelm
avoid repeated access to global variable (101 times in Complex_Main), which is actually synchronized after e557a9ddee5f;
2014-12-18, by wenzelm
tuning
2014-12-17, by blanchet
unfortunately, there is no general function space in the measurable spaces
2014-12-17, by hoelzl
correctly apply type substitution before checking for function types
2014-12-15, by blanchet
avoid generating selectors with function types -- this produce arity inconsistencies
2014-12-15, by blanchet
renamed theory file
2014-12-15, by blanchet
merged
2014-12-12, by wenzelm
Synchronized.value is actually synchronized (NB: underlying Unsynchronized.ref is not necessarily volatile);
2014-12-12, by wenzelm
tuned;
2014-12-12, by wenzelm
tuned;
2014-12-11, by wenzelm
added Par_List in Scala, in accordance to ML version;
2014-12-11, by wenzelm
tuned;
2014-12-11, by wenzelm
rel_pmf commutes with rel_prod
2014-12-12, by hoelzl
note more facts (always)
2014-12-11, by traytel
conceal typedef more violently
2014-12-11, by traytel
respect order of deads when retrieving bnfs from the database
2014-12-11, by traytel
merged
2014-12-10, by wenzelm
more informative gutter content: fall-back on background color, e.g. when line numbers are enabled;
2014-12-10, by wenzelm
more examples;
2014-12-10, by wenzelm
more careful handling of auxiliary environment structure -- allow nested ML evaluation;
2014-12-10, by wenzelm
more markup for improper situations;
2014-12-10, by wenzelm

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

isabelle