Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
 
10 months ago wenzelm 2017-12-06 just one session for bulky HOL-Analysis documents; changeset | files
10 months ago wenzelm 2017-12-06 more default tags; changeset | files
10 months ago wenzelm 2017-12-06 merged changeset | files
10 months ago wenzelm 2017-12-06 prefer control symbol antiquotations; changeset | files
10 months ago wenzelm 2017-12-06 more robust, e.g. when Sidekick produces multi-selection; changeset | files
10 months ago wenzelm 2017-12-06 prefer control symbol antiquotations; changeset | files
10 months ago wenzelm 2017-12-06 more embedded cartouche arguments; more uniform LaTeX output for control symbols; changeset | files
10 months ago wenzelm 2017-12-06 name mangling for Latex macros; tuned signature; changeset | files
10 months ago nipkow 2017-12-06 removed (un)important tags again to make latex happy changeset | files
10 months ago nipkow 2017-12-06 initial version of Analysis document changeset | files
10 months ago nipkow 2017-12-06 tuned changeset | files
10 months ago wenzelm 2017-12-05 merged changeset | files
10 months ago wenzelm 2017-12-05 more documentation; changeset | files
10 months ago wenzelm 2017-12-05 explicit tag for document commands: avoid implicit use of document_tags; changeset | files
10 months ago wenzelm 2017-12-05 system option for default command tags; changeset | files
10 months ago wenzelm 2017-12-05 tuned; changeset | files
10 months ago wenzelm 2017-12-05 tuned signature; changeset | files
10 months ago Manuel Eberl 2017-12-05 Moved material from AFP to Analysis/Number_Theory changeset | files
10 months ago wenzelm 2017-12-04 merged changeset | files
10 months ago wenzelm 2017-12-04 NEWS; changeset | files
10 months ago wenzelm 2017-12-04 added action to make antiquoted cartouche; changeset | files
10 months ago wenzelm 2017-12-04 tuned signature; changeset | files
10 months ago wenzelm 2017-12-04 tuned signature; changeset | files
10 months ago wenzelm 2017-12-04 added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit; changeset | files
10 months ago wenzelm 2017-12-04 clarified control style; changeset | files
10 months ago wenzelm 2017-12-04 font style for literal control symbols, notably for antiquotations; changeset | files
10 months ago wenzelm 2017-12-04 tuned; changeset | files
10 months ago wenzelm 2017-12-04 tuned comments; changeset | files
10 months ago nipkow 2017-12-04 more lemmas changeset | files
10 months ago wenzelm 2017-12-03 misc tuning and modernization; changeset | files
10 months ago wenzelm 2017-12-03 simplified session (again, see 39e29972cb96): WordExamples requires < 1s; changeset | files
10 months ago wenzelm 2017-12-03 tuned; changeset | files
10 months ago wenzelm 2017-12-03 misc tuning and modernization; changeset | files
10 months ago wenzelm 2017-12-03 discontinued old 'def' command; changeset | files
10 months ago haftmann 2017-12-02 more simplification rules changeset | files
10 months ago haftmann 2017-12-02 overhauling of primes changeset | files
10 months ago haftmann 2017-12-02 cleaned up and tuned changeset | files
10 months ago haftmann 2017-12-02 generalized more lemmas changeset | files
10 months ago wenzelm 2017-12-01 tuned output; changeset | files
10 months ago wenzelm 2017-12-01 more operations; changeset | files
10 months ago wenzelm 2017-12-01 removed inaccessible blobs from Document.Nodes; changeset | files
10 months ago wenzelm 2017-12-01 more accurate JSON parsing according to http://seriot.ch/parsing_json.php changeset | files
10 months ago wenzelm 2017-12-01 purge hidden nodes more thoroughly: is_hidden may become true only later; changeset | files
10 months ago wenzelm 2017-12-01 proper synchronized Map: this may be used on multiple threads; changeset | files
10 months ago eberlm 2017-11-30 bij_betw lemma for prime powers changeset | files
10 months ago eberlm 2017-11-30 Existence of a holomorphic logarithm changeset | files
10 months ago wenzelm 2017-11-29 tuned; changeset | files
10 months ago wenzelm 2017-11-29 clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform; changeset | files
10 months ago wenzelm 2017-11-28 clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a); changeset | files
10 months ago wenzelm 2017-11-27 clarified description for mixed Mavericks / El Capitan system; changeset | files
10 months ago wenzelm 2017-11-27 updated documentation; changeset | files
10 months ago wenzelm 2017-11-27 prefer formal $POLYML_EXE; changeset | files
10 months ago wenzelm 2017-11-27 clarified main sessions; changeset | files
10 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; changeset | files
10 months ago wenzelm 2017-11-27 suppress warning; changeset | files
10 months ago wenzelm 2017-11-27 retain files in Pure.thy, notably $POLYML_EXE; changeset | files
10 months ago wenzelm 2017-11-27 proper context (as in 'term' command); changeset | files
10 months ago wenzelm 2017-11-27 proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit; changeset | files
10 months ago wenzelm 2017-11-27 more symbols; changeset | files
10 months ago wenzelm 2017-11-27 prefer Input.source (via cartouche); changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
isabelle