isabelle: File revisions

Mercurial isabelle / file revisions

NEWS

7 months ago	wenzelm	2017-12-06	name mangling for Latex macros; tuned signature;	file \| diff \| annotate
7 months ago	wenzelm	2017-12-05	more documentation;	file \| diff \| annotate
7 months ago	wenzelm	2017-12-04	NEWS;	file \| diff \| annotate
7 months ago	wenzelm	2017-12-03	discontinued old 'def' command;	file \| diff \| annotate
7 months ago	wenzelm	2017-11-27	updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;	file \| diff \| annotate
7 months ago	wenzelm	2017-11-25	Mac OS X 10.10 Yosemite is baseline;	file \| diff \| annotate
8 months ago	wenzelm	2017-11-13	init Mercurial repository for the generated session files;	file \| diff \| annotate
8 months ago	haftmann	2017-11-11	dedicated definition for coprimality	file \| diff \| annotate
8 months ago	wenzelm	2017-11-11	more options for "isabelle mkroot"; updated documentation;	file \| diff \| annotate
8 months ago	wenzelm	2017-11-05	more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);	file \| diff \| annotate
8 months ago	wenzelm	2017-11-03	tuned (non-unique example);	file \| diff \| annotate
8 months ago	wenzelm	2017-11-03	clarified situation of global theory names;	file \| diff \| annotate
8 months ago	wenzelm	2017-11-02	allow unrelated ancestor; clarified error;	file \| diff \| annotate
8 months ago	wenzelm	2017-11-02	support alternative ancestor session;	file \| diff \| annotate
8 months ago	wenzelm	2017-11-02	support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";	file \| diff \| annotate
8 months ago	wenzelm	2017-11-01	added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;	file \| diff \| annotate
8 months ago	haftmann	2017-10-31	removed ancient nat-int transfer	file \| diff \| annotate
8 months ago	wenzelm	2017-10-30	NEWS;	file \| diff \| annotate
8 months ago	haftmann	2017-10-30	rule out pathologic instances	file \| diff \| annotate
9 months ago	wenzelm	2017-10-23	discontinued Linux 32bit platform support;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-23	updated to jdk-8u152, which is for x86_64 only;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-12	more informative Imports.Report with actual session imports (minimized);	file \| diff \| annotate
9 months ago	wenzelm	2017-10-11	tuned whitespace;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-11	clarified meta_digest;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-11	added isablle build option -f;	file \| diff \| annotate
9 months ago	paulson	2017-10-10	Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.	file \| diff \| annotate
9 months ago	haftmann	2017-10-08	Polynomial_Factorial does not depend on Field_as_Ring as such	file \| diff \| annotate
9 months ago	haftmann	2017-10-08	avoid name clashes on interpretation of abstract locales	file \| diff \| annotate
9 months ago	haftmann	2017-10-08	avoid trivial definition	file \| diff \| annotate
9 months ago	haftmann	2017-10-08	avoid fact name clashes	file \| diff \| annotate
9 months ago	wenzelm	2017-10-08	merged	file \| diff \| annotate
9 months ago	wenzelm	2017-10-03	more NEWS;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-05	completion supports theory header imports; tuned;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-04	process ROOT files only once, which allows duplicate (or overlapping) session root directories;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-02	discontinued obsolete 'files' in session ROOT;	file \| diff \| annotate
9 months ago	wenzelm	2017-10-02	added command 'external_file';	file \| diff \| annotate
9 months ago	wenzelm	2017-10-02	option -S for "isabelle build";	file \| diff \| annotate
9 months ago	blanchet	2017-10-01	updated NEWS	file \| diff \| annotate
9 months ago	wenzelm	2017-10-01	option -B for "isabelle build" and "isabelle imports";	file \| diff \| annotate
9 months ago	wenzelm	2017-09-30	NEWS;	file \| diff \| annotate
9 months ago	wenzelm	2017-09-28	session-qualified theory names are mandatory;	file \| diff \| annotate
10 months ago	wenzelm	2017-09-23	merged	file \| diff \| annotate
10 months ago	wenzelm	2017-09-17	more documentation; tuned message;	file \| diff \| annotate
10 months ago	haftmann	2017-09-11	spelling	file \| diff \| annotate
10 months ago	blanchet	2017-09-22	document incompatibility	file \| diff \| annotate
10 months ago	blanchet	2017-09-22	real oracle	file \| diff \| annotate
10 months ago	wenzelm	2017-09-08	back to post-release mode -- after fork point;	file \| diff \| annotate
10 months ago	wenzelm	2017-09-08	tuned;	file \| diff \| annotate
10 months ago	paulson	2017-09-08	Correction of typos and a bit of streamlining	file \| diff \| annotate
10 months ago	paulson	2017-09-08	Simplicial complexes and triangulations; Baire Category Theorem	file \| diff \| annotate
10 months ago	blanchet	2017-09-08	moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years	file \| diff \| annotate
10 months ago	wenzelm	2017-09-02	proper URL;	file \| diff \| annotate
10 months ago	wenzelm	2017-08-31	reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;	file \| diff \| annotate
10 months ago	Andreas Lochbihler	2017-08-30	add type of unordered pairs	file \| diff \| annotate
10 months ago	wenzelm	2017-08-29	proper theory name;	file \| diff \| annotate
10 months ago	nipkow	2017-08-29	news	file \| diff \| annotate
11 months ago	Manuel Eberl	2017-08-23	HOL-Library: going_to filter	file \| diff \| annotate
11 months ago	Lars Hupel	2017-08-22	output syntax for pattern aliases	file \| diff \| annotate
11 months ago	Manuel Eberl	2017-08-21	HOL-Analysis: Convergent FPS and infinite sums	file \| diff \| annotate
11 months ago	wenzelm	2017-08-21	tuned;	file \| diff \| annotate

(0) -3000 -1000 -300 -100 -60 tip

isabelle

RSS Atom