18 months ago Manuel Eberl 2017-12-12 Moved analysis material from AFP
18 months ago eberlm 2017-12-11 Some facts on the Mangoldt function
18 months ago haftmann 2017-12-08 dedicated theory for group closure
18 months ago wenzelm 2017-12-08 clarified error;
18 months ago wenzelm 2017-12-08 removed somewhat pointless warning;
18 months ago wenzelm 2017-12-08 uniform use of original theory;
18 months ago wenzelm 2017-12-08 implicit quick_and_dirty as for Toplevel.begin_proof/Proof.global_skip_proof;
18 months ago haftmann 2017-12-07 avoid smt proofs in distribution
18 months ago wenzelm 2017-12-07 more robust;
18 months ago wenzelm 2017-12-07 merged
18 months ago wenzelm 2017-12-07 clarified document preparation vs. skip_proofs;
18 months ago nipkow 2017-12-07 "important" annotations
18 months ago nipkow 2017-12-07 canonical name
18 months ago wenzelm 2017-12-07 tuned output in isar-ref manual;
18 months ago wenzelm 2017-12-07 obsolete (used to be part of old src/Pure/codegen.ML);
18 months ago wenzelm 2017-12-06 just one session for bulky HOL-Analysis documents;
18 months ago wenzelm 2017-12-06 more default tags;
18 months ago wenzelm 2017-12-06 merged
18 months ago wenzelm 2017-12-06 prefer control symbol antiquotations;
18 months ago wenzelm 2017-12-06 more robust, e.g. when Sidekick produces multi-selection;
18 months ago wenzelm 2017-12-06 prefer control symbol antiquotations;
18 months ago wenzelm 2017-12-06 more embedded cartouche arguments; more uniform LaTeX output for control symbols;
18 months ago wenzelm 2017-12-06 name mangling for Latex macros; tuned signature;
18 months ago nipkow 2017-12-06 removed (un)important tags again to make latex happy
18 months ago nipkow 2017-12-06 initial version of Analysis document
18 months ago nipkow 2017-12-06 tuned
18 months ago wenzelm 2017-12-05 merged
18 months ago wenzelm 2017-12-05 more documentation;
18 months ago wenzelm 2017-12-05 explicit tag for document commands: avoid implicit use of document_tags;
18 months ago wenzelm 2017-12-05 system option for default command tags;
18 months ago wenzelm 2017-12-05 tuned;
18 months ago wenzelm 2017-12-05 tuned signature;
18 months ago Manuel Eberl 2017-12-05 Moved material from AFP to Analysis/Number_Theory
18 months ago wenzelm 2017-12-04 merged
18 months ago wenzelm 2017-12-04 NEWS;
18 months ago wenzelm 2017-12-04 added action to make antiquoted cartouche;
18 months ago wenzelm 2017-12-04 tuned signature;
18 months ago wenzelm 2017-12-04 tuned signature;
18 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;
18 months ago wenzelm 2017-12-04 clarified control style;
18 months ago wenzelm 2017-12-04 font style for literal control symbols, notably for antiquotations;
18 months ago wenzelm 2017-12-04 tuned;
18 months ago wenzelm 2017-12-04 tuned comments;
18 months ago nipkow 2017-12-04 more lemmas
18 months ago wenzelm 2017-12-03 misc tuning and modernization;
18 months ago wenzelm 2017-12-03 simplified session (again, see 39e29972cb96): WordExamples requires < 1s;
18 months ago wenzelm 2017-12-03 tuned;
18 months ago wenzelm 2017-12-03 misc tuning and modernization;
18 months ago wenzelm 2017-12-03 discontinued old 'def' command;
18 months ago haftmann 2017-12-02 more simplification rules
18 months ago haftmann 2017-12-02 overhauling of primes
18 months ago haftmann 2017-12-02 cleaned up and tuned
18 months ago haftmann 2017-12-02 generalized more lemmas
18 months ago wenzelm 2017-12-01 tuned output;
18 months ago wenzelm 2017-12-01 more operations;
18 months ago wenzelm 2017-12-01 removed inaccessible blobs from Document.Nodes;
18 months ago wenzelm 2017-12-01 more accurate JSON parsing according to http://seriot.ch/parsing_json.php
18 months ago wenzelm 2017-12-01 purge hidden nodes more thoroughly: is_hidden may become true only later;
18 months ago wenzelm 2017-12-01 proper synchronized Map: this may be used on multiple threads;
18 months ago eberlm 2017-11-30 bij_betw lemma for prime powers