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

split of Imperative_HOL theories from HOL-Library
2009-01-08, by haftmann
NEWS and CONTRIBUTORS
2009-01-08, by haftmann
dded code_thm antiquotation
2009-01-08, by haftmann
made SML/NJ happy
2009-01-08, by haftmann
merged
2009-01-07, by wenzelm
merged
2009-01-07, by haftmann
tuned siganture of locale.ML
2009-01-07, by haftmann
tuned signature; internal code reorganisation
2009-01-07, by haftmann
tuned signature; changed locale predicate name convention
2009-01-07, by haftmann
changed locale predicate name convention
2009-01-07, by haftmann
inductive: added fork_mono flag;
2009-01-07, by wenzelm
added fork_mono flag, which is usually enabled in batch-mode only;
2009-01-07, by wenzelm
Proof.global_future_terminal_proof;
2009-01-07, by wenzelm
Proof.global_future_proof;
2009-01-07, by wenzelm
future_proof: refined version covers local_future_proof and global_future_proof;
2009-01-07, by wenzelm
more robust propagation of errors through bulk jobs;
2009-01-07, by wenzelm
qed/after_qed: singleton result;
2009-01-07, by wenzelm
Proof.future_terminal_proof: no fork for interactive mode -- proofs need to be checked immediately here;
2009-01-07, by wenzelm
future_terminal_proof: no fork for interactive mode, assert_backward;
2009-01-07, by wenzelm
added local_theory';
2009-01-07, by wenzelm
merged
2009-01-07, by haftmann
proper local_theory after Class.class
2009-01-07, by haftmann
more parallel loading;
2009-01-06, by wenzelm
more parallel loading;
2009-01-06, by wenzelm
merged
2009-01-06, by wenzelm
merged.
2009-01-06, by huffman
make cont_proc handle eta-contracted terms
2009-01-06, by huffman
implement is_closed_term using Term.loose_bvar
2009-01-06, by huffman
use Thm.close_derivation instead of standard
2009-01-05, by huffman
tuned;
2009-01-06, by wenzelm
merged
2009-01-06, by wenzelm
renamed structure ParList to Par_List;
2009-01-06, by wenzelm
parallelized merge_data;
2009-01-06, by wenzelm
tuned map: reduced overhead due to bulk jobs;
2009-01-06, by wenzelm
added is_valid;
2009-01-06, by wenzelm
future_terminal_proof: check Future.enabled;
2009-01-06, by wenzelm
merged
2009-01-06, by haftmann
locale -> old_locale, new_locale -> locale
2009-01-06, by haftmann
locale -> old_locale, new_locale -> locale
2009-01-05, by haftmann
locale -> old_locale, new_locale -> locale
2009-01-05, by haftmann
removed locale adaption layer
2009-01-05, by haftmann
rearranged target theories
2009-01-05, by haftmann
removed locale adaption layer
2009-01-05, by haftmann
merged
2009-01-05, by wenzelm
misc tuning and modernization;
2009-01-05, by wenzelm
merged.
2009-01-05, by huffman
add lemma psize_unique; simplify some proofs
2008-12-29, by huffman
minimize imports
2008-12-29, by huffman
parallelize some internal proofs via Proof.future_terminal_proof;
2009-01-05, by wenzelm
added future_terminal_proof;
2009-01-05, by wenzelm
Isar.init;
2009-01-05, by wenzelm
simplified tty model -- back to plain list history, which is independent of editor model;
2009-01-05, by wenzelm
added is_control, is_regular, is_theory_begin;
2009-01-05, by wenzelm
more precise is_relevant: requires original main goal, not initial goal state;
2009-01-04, by wenzelm
tuned protect, conclude: Drule.comp_no_flatten;
2009-01-04, by wenzelm
added comp_no_flatten;
2009-01-04, by wenzelm
future proofs: back to Future.fork_pri ~1 for improved parallelism;
2009-01-04, by wenzelm
cancel: unique threads;
2009-01-04, by wenzelm
more reactive scheduler: reduced loop timeout, propagate broadcast interrupt via TaskQueue.cancel_all;
2009-01-03, by wenzelm
added eq_group;
2009-01-03, by wenzelm

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

isabelle