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 -15 +15 +100 +300 +1000 +3000 +10000 tip

added Getting Started text
2013-07-31, by nipkow
more robust tactic
2013-07-31, by traytel
merged
2013-07-31, by wenzelm
clarified priority of "skipped" proofs, which might take long but do not produce relevant information (potential conflict of quick interactive feedback vs. performance in batch mode);
2013-07-31, by wenzelm
simplified / clarified execution priority: auto prints << 0, proofs < 0, eval = 0, print_state = 1;
2013-07-31, by wenzelm
paint unassigned/unchanged nodes as unprocessed -- relevant for editor_continuous_checking = false;
2013-07-31, by wenzelm
allow explicit indication of required node: full eval, no prints;
2013-07-31, by wenzelm
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-31, by wenzelm
more work on (co)datatype docs
2013-07-31, by blanchet
more (co)datatype documentation
2013-07-31, by blanchet
merged
2013-07-30, by wenzelm
tuned proofs;
2013-07-30, by wenzelm
more uniform border;
2013-07-30, by wenzelm
proper PIDE markup for codegen arguments;
2013-07-30, by wenzelm
less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
2013-07-30, by wenzelm

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

isabelle