testboard: File revisions

NEWS

13 months ago ago	tuned grammar	file \| diff \| annotate
13 months ago ago	tuned grammar	file \| diff \| annotate
13 months ago ago	uniform naming of strong congruence rules	file \| diff \| annotate
14 months ago ago	tuned;	file \| diff \| annotate
14 months ago ago	support for GHC via command-line tools;	file \| diff \| annotate
14 months ago ago	support for OCaml via command-line tools;	file \| diff \| annotate
14 months ago ago	HOL-SPARK .prv files are no longer written to the file-system;	file \| diff \| annotate
14 months ago ago	news	file \| diff \| annotate
14 months ago ago	NEWS	file \| diff \| annotate
14 months ago ago	discontinued old-style goal cases;	file \| diff \| annotate
14 months ago ago	tuned;	file \| diff \| annotate
14 months ago ago	discontinued old-style inner comments;	file \| diff \| annotate
14 months ago ago	News	file \| diff \| annotate
15 months ago ago	left-over rename from 3f9bb52082c4	file \| diff \| annotate
15 months ago ago	clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;	file \| diff \| annotate
15 months ago ago	NEWS;	file \| diff \| annotate
15 months ago ago	updated URL to remote TPTP, following heads-up from Geoff Sutcliffe	file \| diff \| annotate
15 months ago ago	some NEWS (instead of proper documentation);	file \| diff \| annotate
15 months ago ago	retain original PolyML.pointerEq;	file \| diff \| annotate
15 months ago ago	simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility	file \| diff \| annotate
16 months ago ago	optional notification of nodes_status (via progress);	file \| diff \| annotate
16 months ago ago	merged;	file \| diff \| annotate
16 months ago ago	isabelle build options -c -x -B refer to imports_graph;	file \| diff \| annotate
16 months ago ago	merged	file \| diff \| annotate
16 months ago ago	more flexible session selection as in "isabelle jedit";	file \| diff \| annotate
16 months ago ago	back to post-release mode -- after fork point;	file \| diff \| annotate
16 months ago ago	tuned;	file \| diff \| annotate
17 months ago ago	added system option "strict_facts";	file \| diff \| annotate
17 months ago ago	tuned;	file \| diff \| annotate
17 months ago ago	merged	file \| diff \| annotate
17 months ago ago	more examples for Code_Lazy	file \| diff \| annotate
17 months ago ago	Added Real_Asymp package	file \| diff \| annotate
17 months ago ago	more NEWS;	file \| diff \| annotate
17 months ago ago	discontinued pending_shyps: too much complication due to lazy facts;	file \| diff \| annotate
17 months ago ago	tuned;	file \| diff \| annotate
17 months ago ago	merged;	file \| diff \| annotate
17 months ago ago	misc tuning and updates for release;	file \| diff \| annotate
17 months ago ago	misc tuning for release;	file \| diff \| annotate
17 months ago ago	command-line option for include_sessions;	file \| diff \| annotate
17 months ago ago	disallow pending hyps;	file \| diff \| annotate
17 months ago ago	NEWS and CONTRIBUTORS	file \| diff \| annotate
17 months ago ago	clarified settings -- avoid hard-wired directories;	file \| diff \| annotate
17 months ago ago	example for Types_To_Sets: transfer from type-based linear algebra to subspaces	file \| diff \| annotate
17 months ago ago	merged	file \| diff \| annotate
17 months ago ago	updated documentation;	file \| diff \| annotate
17 months ago ago	Rationalisation of complex transcendentals, esp the Arg function	file \| diff \| annotate
17 months ago ago	clarified document antiquotation @{theory};	file \| diff \| annotate
18 months ago ago	clarified documentation;	file \| diff \| annotate
18 months ago ago	In interpretation commands, clarify what to do with definitions immediately subject to rewriting.	file \| diff \| annotate
18 months ago ago	corrections to markup	file \| diff \| annotate
18 months ago ago	Map.empty now qualified to avoid name clashes	file \| diff \| annotate
18 months ago ago	merged	file \| diff \| annotate
18 months ago ago	reorient -> split; documented split	file \| diff \| annotate
18 months ago ago	misc tuning and updates for release;	file \| diff \| annotate
18 months ago ago	updated for release;	file \| diff \| annotate
18 months ago ago	NEWS: infinite products	file \| diff \| annotate
18 months ago ago	clarified signature;	file \| diff \| annotate
18 months ago ago	NEWS;	file \| diff \| annotate
18 months ago ago	list syntax details	file \| diff \| annotate
18 months ago ago	documentation for "isabelle dump";	file \| diff \| annotate

testboard

RSS Atom