isabelle: File revisions

Mercurial isabelle / file revisions

NEWS

2008-01-25	wenzelm	2008-01-25	* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;	file \| diff \| annotate
2008-01-25	haftmann	2008-01-25	moved definition of power on ints to theory Int	file \| diff \| annotate
2008-01-22	haftmann	2008-01-22	added class semiring_div	file \| diff \| annotate
2008-01-15	haftmann	2008-01-15	joined theories IntDef, Numeral, IntArith to theory Int	file \| diff \| annotate
2008-01-14	nipkow	2008-01-14	* empty log message *	file \| diff \| annotate
2008-01-06	wenzelm	2008-01-06	* Rudimentary Isabelle plugin for jEdit;	file \| diff \| annotate
2008-01-02	wenzelm	2008-01-02	tuned;	file \| diff \| annotate
2008-01-02	wenzelm	2008-01-02	Multithreading.max_threads := 0 refers to number of cores of underlying machine;	file \| diff \| annotate
2008-01-02	haftmann	2008-01-02	split of class uminus	file \| diff \| annotate
2007-12-20	wenzelm	2007-12-20	``print mode'' is now a thread-local value derived from a global template;	file \| diff \| annotate
2007-12-20	wenzelm	2007-12-20	* Metis prover an order of magnitude faster, works with multithreading.	file \| diff \| annotate
2007-12-19	haftmann	2007-12-19	instantiation target	file \| diff \| annotate
2007-12-19	schirmer	2007-12-19	replaced K_record by lambda term %x. c	file \| diff \| annotate
2007-12-17	krauss	2007-12-17	spread NEWS about "induction_scheme" method	file \| diff \| annotate
2007-12-15	wenzelm	2007-12-15	tuned;	file \| diff \| annotate
2007-12-15	wenzelm	2007-12-15	* isatool browser now works with Cygwin; * isabelle-process: non-ML sessions are run with "nice"; * JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes);	file \| diff \| annotate
2007-12-14	wenzelm	2007-12-14	* isatool tty runs Isabelle process with plain tty interaction;	file \| diff \| annotate
2007-12-12	haftmann	2007-12-12	tuned	file \| diff \| annotate
2007-12-11	haftmann	2007-12-11	tuned	file \| diff \| annotate
2007-12-07	wenzelm	2007-12-07	(alt)string: allow explicit character codes (as in ML);	file \| diff \| annotate
2007-12-06	haftmann	2007-12-06	added new primrec package	file \| diff \| annotate
2007-12-04	wenzelm	2007-12-04	\<chi> is now considered a letter; tuned;	file \| diff \| annotate
2007-11-30	haftmann	2007-11-30	adjustions to due to instance target	file \| diff \| annotate
2007-11-30	nipkow	2007-11-30	* empty log message *	file \| diff \| annotate
2007-11-29	haftmann	2007-11-29	instance command as rudimentary class target	file \| diff \| annotate
2007-11-26	wenzelm	2007-11-26	moved new NEWS from Isabelle2007 to this Isabelle version'';	file \| diff \| annotate
2007-11-23	haftmann	2007-11-23	deleted card definition as code lemma; authentic syntax for card	file \| diff \| annotate
2007-11-20	wenzelm	2007-11-20	tuned spacing;	file \| diff \| annotate
2007-11-15	wenzelm	2007-11-15	cover ISABELLE_IDENTIFIER;	file \| diff \| annotate
2007-11-13	wenzelm	2007-11-13	tuned;	file \| diff \| annotate
2007-11-12	schirmer	2007-11-12	fixed typo;	file \| diff \| annotate
2007-11-11	wenzelm	2007-11-11	* HOL-Statespace;	file \| diff \| annotate
2007-10-26	haftmann	2007-10-26	tuned	file \| diff \| annotate
2007-10-26	krauss	2007-10-26	added NEWS entry for function package	file \| diff \| annotate
2007-10-25	haftmann	2007-10-25	tuned	file \| diff \| annotate
2007-10-24	wenzelm	2007-10-24	tuned file names etc.;	file \| diff \| annotate
2007-10-24	haftmann	2007-10-24	tuned	file \| diff \| annotate
2007-10-22	wenzelm	2007-10-22	tuned Nominal entry;	file \| diff \| annotate
2007-10-22	wenzelm	2007-10-22	added @{sort}, @{type_syntax} antiquotations;	file \| diff \| annotate
2007-10-21	wenzelm	2007-10-21	misc tuning;	file \| diff \| annotate
2007-10-21	urbanc	2007-10-21	tuned the entry about nominal datatypes	file \| diff \| annotate
2007-10-18	haftmann	2007-10-18	localized mono predicate	file \| diff \| annotate
2007-10-16	haftmann	2007-10-16	global class syntax	file \| diff \| annotate
2007-10-15	wenzelm	2007-10-15	more on authentic syntax;	file \| diff \| annotate
2007-10-15	wenzelm	2007-10-15	updated method "ferrack";	file \| diff \| annotate
2007-10-12	haftmann	2007-10-12	moved class power to theory Power	file \| diff \| annotate
2007-10-12	haftmann	2007-10-12	class div inherits from class times	file \| diff \| annotate
2007-10-10	wenzelm	2007-10-10	added 'no_notation';	file \| diff \| annotate
2007-10-09	wenzelm	2007-10-09	tuned;	file \| diff \| annotate
2007-10-09	wenzelm	2007-10-09	generic Syntax.pretty/string_of operations;	file \| diff \| annotate
2007-10-07	wenzelm	2007-10-07	* Basic Isabelle mode for jEdit.	file \| diff \| annotate
2007-10-06	wenzelm	2007-10-06	simplified interfaces for outer syntax;	file \| diff \| annotate
2007-10-05	wenzelm	2007-10-05	tuned induct etc.;	file \| diff \| annotate
2007-10-01	wenzelm	2007-10-01	added auto_quickcheck feature;	file \| diff \| annotate
2007-10-01	wenzelm	2007-10-01	misc tuning and update;	file \| diff \| annotate
2007-10-01	wenzelm	2007-10-01	misc tuning and update;	file \| diff \| annotate
2007-09-26	wenzelm	2007-09-26	tuned;	file \| diff \| annotate
2007-09-26	wenzelm	2007-09-26	tuned;	file \| diff \| annotate
2007-09-26	wenzelm	2007-09-26	tuned;	file \| diff \| annotate
2007-09-26	wenzelm	2007-09-26	* Pure/Isar: unified specification syntax admits type inference and dummy patterns; print mode: no_abbrevs;	file \| diff \| annotate

(0) -300 -100 -60 tip

isabelle

RSS Atom