Sat, 30 Mar 2019 15:37:22 +0100 haftmann irrelevant
Sat, 30 Mar 2019 22:51:38 +0100 wenzelm more PIDE markup and hyperlinks;
Sat, 30 Mar 2019 20:54:47 +0100 wenzelm clarified signature: more explicit type Path.binding;
Sat, 30 Mar 2019 12:07:31 +0100 wenzelm more LaTeX symbols;
Fri, 29 Mar 2019 16:53:46 +0100 wenzelm tuned signature -- more operations;
Fri, 29 Mar 2019 13:48:10 +0100 wenzelm tuned signature;
Fri, 29 Mar 2019 13:42:17 +0100 wenzelm clarified 'file_prefix';
Fri, 29 Mar 2019 12:24:34 +0100 wenzelm clarified style: allow to search PDF for keywords containing "_";
Thu, 28 Mar 2019 21:24:55 +0100 wenzelm "export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports;
Thu, 28 Mar 2019 21:22:44 +0100 wenzelm removed junk;
Thu, 28 Mar 2019 13:20:57 +0100 wenzelm clarified diagrams;
Thu, 28 Mar 2019 13:06:32 +0100 wenzelm clarified diagrams;
Thu, 28 Mar 2019 12:59:44 +0100 wenzelm proper syntax diagrams;
Thu, 28 Mar 2019 12:52:31 +0100 wenzelm tuned names;
Thu, 28 Mar 2019 12:49:15 +0100 wenzelm tuned whitespace;
Thu, 28 Mar 2019 12:39:34 +0100 wenzelm proper local_theory command;
Wed, 27 Mar 2019 23:55:39 +0100 wenzelm more exports: avoid clones in AFP;
Wed, 27 Mar 2019 22:15:36 +0100 wenzelm tuned;
Wed, 27 Mar 2019 21:58:30 +0100 wenzelm export_code/check_code formally updates the theory -- this opens further possibilities concerning Generated_Files;
Wed, 27 Mar 2019 20:07:53 +0100 wenzelm tuned whitespace;
Wed, 27 Mar 2019 15:14:08 +0100 wenzelm merged
Wed, 27 Mar 2019 14:47:49 +0100 wenzelm more informative Spec_Rules.Equational: support corecursion;
Wed, 27 Mar 2019 12:08:08 +0100 wenzelm more operations;
Wed, 27 Mar 2019 14:08:26 +0000 paulson more stuff from HOL Light: Euclidean spaces and n-spheres, Hausdorff spaces, etc.
Tue, 26 Mar 2019 22:18:30 +0100 wenzelm merged
Tue, 26 Mar 2019 22:13:36 +0100 wenzelm more informative Spec_Rules.Equational, notably primrec argument types;
Tue, 26 Mar 2019 14:23:18 +0100 wenzelm clarified signature: avoid direct comparison on type rough_classification;
Tue, 26 Mar 2019 14:13:03 +0100 wenzelm tuned proofs;
Tue, 26 Mar 2019 13:45:46 +0100 wenzelm removed spurious debugging;
Tue, 26 Mar 2019 13:25:32 +0100 wenzelm export propositional status of consts;
Tue, 26 Mar 2019 17:01:55 +0000 paulson merged
Tue, 26 Mar 2019 17:01:36 +0000 paulson generalised homotopic_with to topologies; homotopic_with_canon is the old version
Tue, 26 Mar 2019 16:27:29 +0100 Thomas Sewell follow up on Braun: get timing function right
Tue, 26 Mar 2019 16:03:01 +0100 Thomas Sewell Tweak Braun tree list_fast_rec recursion.
Mon, 25 Mar 2019 21:46:37 +0100 wenzelm more robust: avoid NPE due to odd problems with object initialization;
Mon, 25 Mar 2019 19:50:52 +0100 wenzelm RDF meta data for AFP entries;
Mon, 25 Mar 2019 17:21:26 +0100 wenzelm more strict AFP properties;
Mon, 25 Mar 2019 16:45:08 +0100 wenzelm tuned signature;
Mon, 25 Mar 2019 16:11:28 +0100 wenzelm clarified signature;
Mon, 25 Mar 2019 15:48:08 +0100 wenzelm proper treatment of empty extra lines (amending 98a440cfbb2b);
Mon, 25 Mar 2019 15:38:56 +0100 wenzelm clarified signature: explicitly typed interfaces;
Mon, 25 Mar 2019 14:47:54 +0100 wenzelm provide maintainers as seen in AFP/admin;
Mon, 25 Mar 2019 14:40:28 +0100 wenzelm tuned;
Mon, 25 Mar 2019 14:32:33 +0100 wenzelm tuned signature;
Mon, 25 Mar 2019 14:19:26 +0100 wenzelm read AFP metadata for entries;
Sun, 24 Mar 2019 20:31:53 +0100 wenzelm more accurate HTML rendering;
Sun, 24 Mar 2019 19:17:42 +0100 wenzelm clarified markup;
Sun, 24 Mar 2019 18:38:42 +0100 wenzelm clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
Sun, 24 Mar 2019 18:30:59 +0100 wenzelm tuned;
Sun, 24 Mar 2019 17:53:46 +0100 wenzelm clarified spell-checking (see also 30233285270a);
Sun, 24 Mar 2019 17:45:00 +0100 wenzelm more accurate markup;
Sun, 24 Mar 2019 17:33:11 +0100 wenzelm clarified signature;
Sun, 24 Mar 2019 17:24:24 +0100 wenzelm more markup for various text kinds, notably for nested formal comments;
Sun, 24 Mar 2019 17:23:48 +0100 wenzelm tuned whitespace;
Sun, 24 Mar 2019 17:19:30 +0100 wenzelm clarified rendering: use COMMENT4 elsewhere;
Sun, 24 Mar 2019 13:48:46 +0100 wenzelm documentation of document markers and re-interpreted command tags;
Sat, 23 Mar 2019 20:27:56 +0100 wenzelm updated to ssh-java-20190323 (with jsch-0.1.55.jar);
Sat, 23 Mar 2019 20:12:50 +0100 wenzelm NEWS for proper Isabelle version;
Sat, 23 Mar 2019 20:12:37 +0100 wenzelm obsolete;
Sat, 23 Mar 2019 19:50:03 +0100 wenzelm proper latex setup;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip