Sun, 28 Feb 2016 14:48:38 +0100 wenzelm tuned;
Sun, 28 Feb 2016 14:33:53 +0100 wenzelm just one File.find_files, based on Java 7 Files operations;
Sun, 28 Feb 2016 12:05:52 +0100 Manuel Eberl More efficient Extended Euclidean Algorithm
Sat, 27 Feb 2016 21:09:43 +0100 wenzelm more symbols;
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Sat, 27 Feb 2016 20:42:13 +0100 wenzelm update due to fontforge save operation;
Sat, 27 Feb 2016 19:57:36 +0100 wenzelm moved getopts to Scala;
Sat, 27 Feb 2016 19:47:53 +0100 wenzelm moved getopts to Scala;
Sat, 27 Feb 2016 17:01:21 +0100 wenzelm no tracing SPAM, and thus more visible warnings;
Sat, 27 Feb 2016 16:52:30 +0100 wenzelm moved getopts to Scala;
Sat, 27 Feb 2016 16:51:36 +0100 wenzelm tuned messages;
Sat, 27 Feb 2016 16:37:47 +0100 wenzelm more operations (like Markup.parse_bool in ML);
Sat, 27 Feb 2016 16:37:06 +0100 wenzelm tuned messages;
Sat, 27 Feb 2016 16:19:02 +0100 wenzelm support for command-line options as in GNU bash;
Fri, 26 Feb 2016 22:44:11 +0100 haftmann more succint formulation of membership for multisets, similar to lists;
Fri, 26 Feb 2016 22:15:09 +0100 Manuel Eberl Tuned Euclidean Rings/GCD rings
Fri, 26 Feb 2016 18:33:01 +0100 Manuel Eberl Fixed code equations for Gcd/Lcm
Fri, 26 Feb 2016 15:49:35 +0100 blanchet generalized ML function
Fri, 26 Feb 2016 15:00:47 +0100 eberlm Merged
Fri, 26 Feb 2016 14:58:07 +0100 eberlm Tuned Euclidean Ring instance for polynomials
Fri, 26 Feb 2016 11:57:36 +0100 eberlm Merged
Thu, 25 Feb 2016 16:54:24 +0100 eberlm Merged
Thu, 25 Feb 2016 16:44:53 +0100 eberlm Tuned Euclidean rings
Fri, 26 Feb 2016 11:53:45 +0100 immler finite precision computation to determine sign for comparison
Fri, 26 Feb 2016 11:53:45 +0100 immler positive precision for truncate; fixed precision for approximation of rationals; code for truncate
Fri, 26 Feb 2016 11:53:42 +0100 immler compute_real_of_float has not been used as code equation
Thu, 25 Feb 2016 20:35:05 +0100 wenzelm tuned proof;
Thu, 25 Feb 2016 20:23:32 +0100 wenzelm merged
Thu, 25 Feb 2016 19:22:13 +0100 wenzelm slightly more robust re-initialization;
Thu, 25 Feb 2016 19:08:48 +0100 wenzelm isabelle_scala_script is usually found by PATH;
Thu, 25 Feb 2016 18:08:23 +0100 wenzelm within the Isabelle environment, main executables are always within PATH;
Thu, 25 Feb 2016 18:05:04 +0100 wenzelm avoid global state change;
Thu, 25 Feb 2016 17:49:04 +0100 wenzelm more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
Thu, 25 Feb 2016 16:53:34 +0000 paulson Merge
Thu, 25 Feb 2016 16:49:00 +0000 paulson partial tidy-up of Sylow's theorem
Thu, 25 Feb 2016 16:16:29 +0100 wenzelm proper option process_output_tail, more generous default;
Thu, 25 Feb 2016 13:58:48 +0000 paulson Conformal_mappings: a big development in complex analysis (+ some lemmas)
Thu, 25 Feb 2016 00:36:44 +0100 wenzelm tuned;
Thu, 25 Feb 2016 00:35:17 +0100 wenzelm tuned signature;
Thu, 25 Feb 2016 00:27:57 +0100 wenzelm proper return code for timeout (amending f868f12f9419);
Thu, 25 Feb 2016 00:18:48 +0100 wenzelm retain tail out_lines as printed, but not the whole log content;
Thu, 25 Feb 2016 00:06:37 +0100 wenzelm explicit class Build_Results;
Wed, 24 Feb 2016 23:36:45 +0100 wenzelm more informative Build.build_results;
Wed, 24 Feb 2016 22:40:19 +0100 wenzelm more informative Process_Result;
Wed, 24 Feb 2016 22:11:28 +0100 wenzelm clarified modules;
Wed, 24 Feb 2016 22:03:24 +0100 wenzelm tuned signature;
Wed, 24 Feb 2016 16:00:57 +0000 paulson Merge
Wed, 24 Feb 2016 15:51:01 +0000 paulson Substantial new material for multivariate analysis. Also removal of some duplicates.
Wed, 24 Feb 2016 07:41:52 +0100 nipkow NEWS
Tue, 23 Feb 2016 19:05:18 +0100 blanchet refactoring
Tue, 23 Feb 2016 18:04:38 +0100 nipkow merged
Tue, 23 Feb 2016 18:04:31 +0100 nipkow resolved conflict
Tue, 23 Feb 2016 17:47:23 +0100 nipkow more canonical names
Tue, 23 Feb 2016 16:41:14 +0100 nipkow more canonical names
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Tue, 23 Feb 2016 17:16:02 +0100 wenzelm merged
Tue, 23 Feb 2016 17:15:07 +0100 wenzelm merged;
Tue, 23 Feb 2016 16:20:12 +0100 wenzelm support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
Mon, 22 Feb 2016 22:44:37 +0100 wenzelm avoid outdated Process.interruptConsoleProcesses;
Tue, 23 Feb 2016 16:50:10 +0100 blanchet tuning
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip