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