isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

time factor: one more digit;
2008-10-02, by wenzelm
more tuning of tracing messages;
2008-10-02, by wenzelm
include factor in timing report;
2008-10-02, by wenzelm
with_attributes: enforces InterruptAsynch => InterruptAsynchOnce to avoid race condition;
2008-10-02, by wenzelm
tracing: ignore failure of any kind;
2008-10-02, by wenzelm
tuned SYNCHRONIZED: outermost Exn.release;
2008-10-02, by wenzelm
program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch;
2008-10-02, by wenzelm
added partiality section
2008-10-02, by haftmann
corrected class antiquotation
2008-10-02, by haftmann
max_threads_value always 1 for dummy version;
2008-10-02, by wenzelm
simplified Exn.EXCEPTIONS, flatten nested occurrences;
2008-10-02, by wenzelm
simplified Exn.EXCEPTIONS;
2008-10-02, by wenzelm
major cleanup of hoare_tac.ML: just one copy for Hoare.thy and HoareAbort.thy (only 1 line different), refrain from inspecting the main goal, proper context;
2008-10-02, by wenzelm
tuned
2008-10-02, by haftmann
Yet another proof of Newman's lemma, this time using the coherent logic prover.
2008-10-02, by berghofe
unit_source: more rigid parsing, stop after final qed;
2008-10-01, by wenzelm

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

isabelle