Mon, 10 Jan 2011 18:58:54 +0100 boehmes be more precise: also merge option values
Mon, 10 Jan 2011 17:41:45 +0100 boehmes only print warning in a visible context (previously, the warning was printed more than once)
Mon, 10 Jan 2011 17:39:54 +0100 boehmes dropped superfluous error message
Mon, 10 Jan 2011 17:37:11 +0100 krauss removed obsolete make target (now in doc-src, cf. 28b487cd9e15)
Mon, 10 Jan 2011 17:22:48 +0100 wenzelm updated for polyml-5.4.0;
Mon, 10 Jan 2011 16:56:47 +0100 wenzelm made SML/NJ happy;
Mon, 10 Jan 2011 16:45:28 +0100 wenzelm added merge_options convenience;
Mon, 10 Jan 2011 16:07:16 +0100 wenzelm tuned string_of_int to avoid allocation for small integers;
Mon, 10 Jan 2011 15:45:46 +0100 wenzelm eliminated Int.toString;
Mon, 10 Jan 2011 15:30:17 +0100 wenzelm eliminated obsolete LargeInt -- Int is unbounded;
Mon, 10 Jan 2011 15:19:48 +0100 wenzelm standardized split_last/last_elem towards List.last;
Mon, 10 Jan 2011 08:18:49 +0100 bulwahn removing dead code; tuned
Mon, 10 Jan 2011 08:18:48 +0100 bulwahn made SML/NJ happy
Sun, 09 Jan 2011 21:33:41 +0100 wenzelm reverted 08240feb69c7 -- breaks positions of reports;
Sun, 09 Jan 2011 19:58:08 +0100 wenzelm ML_trace: observe context visibility flag (import for Latex mode, for example);
Sun, 09 Jan 2011 20:30:47 +0100 wenzelm more direct treatment of Position.end_offset;
Sun, 09 Jan 2011 16:03:56 +0100 wenzelm discontinued unused end_line, end_column;
Sun, 09 Jan 2011 13:58:31 +0100 wenzelm more scalable HTML.output_width;
Sun, 09 Jan 2011 12:56:00 +0100 wenzelm refined comment (again);
Sat, 08 Jan 2011 11:29:25 -0800 huffman merged
Sat, 08 Jan 2011 11:18:09 -0800 huffman use proper syntactic types for 'syntax' commands
Sat, 08 Jan 2011 10:02:43 -0800 huffman make print translation for Abs_cfun consistent with other binders: prevent eta-contraction, but don't force eta-expansion
Sat, 08 Jan 2011 09:34:08 -0800 huffman use full path for library imports
Sat, 08 Jan 2011 09:30:52 -0800 huffman types -> type_synonym
Sat, 08 Jan 2011 18:01:10 +0100 wenzelm updated NEOS_SERVER, which is now provided via settings;
Sat, 08 Jan 2011 17:39:51 +0100 wenzelm renamed Sum_Of_Squares to Sum_of_Squares;
Sat, 08 Jan 2011 17:30:05 +0100 wenzelm Ord_List.merge convenience;
Sat, 08 Jan 2011 17:14:48 +0100 wenzelm misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
Sat, 08 Jan 2011 16:01:51 +0100 wenzelm modernized structure Prop_Logic;
Sat, 08 Jan 2011 14:32:55 +0100 wenzelm added Context_Position.is_visible_proof, which treats a global theory as invisible (unlike the default);
Sat, 08 Jan 2011 14:30:54 +0100 wenzelm tuned;
Sat, 08 Jan 2011 00:28:31 +0100 wenzelm tuned;
Sat, 08 Jan 2011 00:02:11 +0100 wenzelm tuned headers;
Fri, 07 Jan 2011 23:46:06 +0100 wenzelm merged
Fri, 07 Jan 2011 18:10:43 +0100 bulwahn adding example theory for list comprehension to set comprehension simproc
Fri, 07 Jan 2011 18:10:42 +0100 bulwahn adopting proofs due to new list comprehension to set comprehension simproc
Fri, 07 Jan 2011 18:10:35 +0100 bulwahn adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs
Fri, 07 Jan 2011 17:58:51 +0100 boehmes tuned text
Fri, 07 Jan 2011 15:59:10 +0100 bulwahn merged
Fri, 07 Jan 2011 14:46:28 +0100 bulwahn removing obselete Id comments from HOL/ex theories
Fri, 07 Jan 2011 15:39:13 +0100 boehmes added hints about licensing restrictions and how to enable Z3
Fri, 07 Jan 2011 15:37:53 +0100 boehmes tuned
Fri, 07 Jan 2011 23:30:29 +0100 wenzelm eliminated hard tabs;
Fri, 07 Jan 2011 23:10:33 +0100 wenzelm allow spaces in $SPASS_HOME value;
Fri, 07 Jan 2011 23:07:04 +0100 wenzelm tuned;
Fri, 07 Jan 2011 23:02:12 +0100 wenzelm eliminated alias;
Fri, 07 Jan 2011 22:44:07 +0100 wenzelm do not open ML structures;
Fri, 07 Jan 2011 21:51:28 +0100 wenzelm more standard package setup;
Fri, 07 Jan 2011 21:26:49 +0100 wenzelm do not open ML structures;
Fri, 07 Jan 2011 20:42:25 +0100 wenzelm updated scala;
Fri, 07 Jan 2011 18:32:19 +0100 wenzelm do not open ML structures;
Fri, 07 Jan 2011 18:07:27 +0100 wenzelm do not open Codegen;
Fri, 07 Jan 2011 17:07:00 +0100 wenzelm tuned whitespace, indentation, comments;
Fri, 07 Jan 2011 16:11:02 +0100 wenzelm updated for release;
Fri, 07 Jan 2011 15:55:27 +0100 wenzelm tuned;
Fri, 07 Jan 2011 15:35:00 +0100 wenzelm more precise parentheses and indentation;
Fri, 07 Jan 2011 14:58:15 +0100 wenzelm comments;
Fri, 07 Jan 2011 14:36:41 +0100 wenzelm updated for 2011;
Fri, 07 Jan 2011 13:24:09 +0100 boehmes shortened the warning about uninstalled SMT solvers (the additional hint might get obsolete without further notice)
Fri, 07 Jan 2011 10:28:45 +0100 krauss tuned NEWS
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip