isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

NEWS

2010-11-03	haftmann	Theory Multiset provides stable quicksort implementation of sort_key.	file \| diff \| annotate
2010-11-03	blanchet	standardize on seconds for Nitpick and Sledgehammer timeouts	file \| diff \| annotate
2010-11-03	wenzelm	discontinued obsolete function sys_error and exception SYS_ERROR;	file \| diff \| annotate
2010-10-31	nipkow	merged	file \| diff \| annotate
2010-10-29	nipkow	Plus -> Sum_Type.Plus	file \| diff \| annotate
2010-10-30	wenzelm	support for real valued preferences;	file \| diff \| annotate
2010-10-30	wenzelm	support for real valued configuration options;	file \| diff \| annotate
2010-10-29	wenzelm	merged	file \| diff \| annotate
2010-10-29	bulwahn	NEWS	file \| diff \| annotate
2010-10-28	wenzelm	discontinued obsolete ML antiquotation @{theory_ref};	file \| diff \| annotate
2010-10-26	krauss	fixed typo	file \| diff \| annotate
2010-10-26	krauss	NEWS	file \| diff \| annotate
2010-10-26	boehmes	*joined setup of SMT solvers in one place; turned Z3-specific options into SMT options (renamed configuration options from z3_ to smt_); more detailed SMT exception; improved SMT filter interface*	file \| diff \| annotate
2010-10-25	wenzelm	merged	file \| diff \| annotate
2010-10-25	wenzelm	significantly improved Isabelle/Isar implementation manual;	file \| diff \| annotate
2010-10-25	blanchet	merged	file \| diff \| annotate
2010-10-25	blanchet	introduced manual version of "Auto Solve" as "solve_direct"	file \| diff \| annotate
2010-10-25	wenzelm	added ML antiquotation @{assert};	file \| diff \| annotate
2010-10-24	nipkow	renamed nat_number	file \| diff \| annotate
2010-10-22	blanchet	make Sledgehammer minimizer fully work with SMT	file \| diff \| annotate
2010-10-21	blanchet	use consistent terminology in Sledgehammer: "prover = ATP or SMT solver or ..."	file \| diff \| annotate
2010-10-14	krauss	NEWS	file \| diff \| annotate
2010-10-06	blanchet	merged	file \| diff \| annotate
2010-10-05	blanchet	document latest changes to Meson/Metis/Sledgehammer	file \| diff \| annotate
2010-10-04	haftmann	turned distinct and sorted into inductive predicates: yields nice induction principles for free	file \| diff \| annotate
2010-10-01	haftmann	constant `contents` renamed to `the_elem`	file \| diff \| annotate
2010-09-28	haftmann	NEWS	file \| diff \| annotate
2010-09-28	krauss	no longer declare .psimps rules as [simp].	file \| diff \| annotate
2010-09-24	wenzelm	clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;	file \| diff \| annotate
2010-09-23	haftmann	CONTRIBUTORS and NEWS	file \| diff \| annotate

less more (0) -1000 -300 -100 -50 -30 tip

isabelle

RSS Atom