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 +30000 tip

made smlnj happy
2010-09-20, by haftmann
properly parse Z3 error models, including datatypes, and represent function valuations as lambda terms; also normalize Z3 error models
2010-09-19, by boehmes
do not treat natural numbers as a datatype (natural numbers are considered an abstract type with a coercion to integers)
2010-09-19, by boehmes
generalized lemma insort_remove1 to insort_key_remove1
2010-09-17, by haftmann
generalized lemmas multiset_of_insort, multiset_of_sort, properties_for_sort for *_key variants
2010-09-17, by haftmann
merged
2010-09-17, by haftmann
less intermediate data structures
2010-09-17, by haftmann
Isabelle_Process: more robust rendezvous, even without proper blocking on open (Cygwin);
2010-09-20, by wenzelm
simplified Isabelle_System.mk_fifo: inlined script, append PPID and PID uniformly;
2010-09-19, by wenzelm
refined Isabelle_Process startup: emit \002 before rendezvous on fifos, more robust treatment of startup failure with timeout, do not quit() after main loop;
2010-09-19, by wenzelm
back to default fold painter -- Circle looks slightly odd in conjunction with bracket matching;
2010-09-19, by wenzelm
message_actor: more robust treatment of EOF;
2010-09-19, by wenzelm
simplified Isabelle_Process message kinds;
2010-09-19, by wenzelm
recovered basic session stop/restart;
2010-09-18, by wenzelm
simplified fifo handling -- rm_fifo always succeeds without ever blocking;
2010-09-18, by wenzelm

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

isabelle