Wed, 25 Jan 2012 16:16:20 +0100 wenzelm removed obscure/outdated material;
Wed, 25 Jan 2012 15:39:08 +0100 wenzelm updated RSN, RL, RLN, MRS;
Wed, 25 Jan 2012 14:13:59 +0100 wenzelm removed obscure/outdated material;
Wed, 25 Jan 2012 13:31:56 +0100 wenzelm tuned;
Wed, 25 Jan 2012 13:24:57 +0100 wenzelm more on Logic.all/mk_implies etc.;
Thu, 19 Jan 2012 16:16:13 +0100 wenzelm reduce AFP test by many hours;
Thu, 19 Jan 2012 09:51:42 +0100 nipkow added termination of narrowing
Wed, 18 Jan 2012 22:06:31 +0100 wenzelm really need 64bit here;
Wed, 18 Jan 2012 13:04:58 +0100 nipkow Added termination proof for widening
Wed, 18 Jan 2012 22:09:29 +1100 kleing switch afp test to Darwin on macbroy2
Wed, 18 Jan 2012 10:05:23 +0100 nipkow merged
Wed, 18 Jan 2012 10:05:14 +0100 nipkow introduced commands over a set of vars
Wed, 18 Jan 2012 00:07:08 +0100 wenzelm basic support for PIDE Scala programming, independently of the main Isabelle repository;
Tue, 17 Jan 2012 18:25:36 +0100 blanchet fixed a bug introduced when porting functions to set -- extensionality on sets break the form of equations expected elsewhere by Nitpick
Tue, 17 Jan 2012 18:25:36 +0100 blanchet updated message
Tue, 17 Jan 2012 18:25:36 +0100 blanchet improve installation instructions
Tue, 17 Jan 2012 18:25:36 +0100 blanchet allow use of proxy for remote SMT solver invocations, just like in the "remote_atp" script
Tue, 17 Jan 2012 16:30:54 +0100 huffman factor-cancellation simprocs now call the full simplifier to prove that factors are non-zero
Tue, 17 Jan 2012 11:15:36 +0100 bulwahn refreshing NEWS
Tue, 17 Jan 2012 10:45:42 +0100 bulwahn renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList)
Tue, 17 Jan 2012 09:38:30 +0100 bulwahn renamed theory AList to DAList
Mon, 16 Jan 2012 21:50:15 +0100 wenzelm position constraints for numerals enable PIDE markup;
Mon, 16 Jan 2012 20:32:33 +0100 wenzelm more careful cumulation of tooltips -- ensure uniform range;
Mon, 16 Jan 2012 13:19:44 +0100 wenzelm tuned;
Mon, 16 Jan 2012 07:55:10 +0100 nipkow tuned
Mon, 16 Jan 2012 07:46:58 +0100 nipkow missing dependency
Sun, 15 Jan 2012 20:30:17 +0100 wenzelm tuned example;
Sun, 15 Jan 2012 20:03:59 +0100 wenzelm merged
Sun, 15 Jan 2012 19:55:31 +0100 wenzelm back to more basic caret_range (reverting 0ad063afa3d6) -- BreakIterator crashes due to non-zero text.offset when deleting the first character of the buffer;
Sun, 15 Jan 2012 19:17:39 +0100 wenzelm recovered outdated_color (cf. 4beb2f41ed93);
Sun, 15 Jan 2012 19:09:03 +0100 wenzelm more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
Sun, 15 Jan 2012 18:55:27 +0100 wenzelm tuned proofs;
Sun, 15 Jan 2012 17:27:46 +0100 nipkow tuned
Sun, 15 Jan 2012 14:55:30 +0100 wenzelm tuned signature;
Sun, 15 Jan 2012 14:22:54 +0100 wenzelm comments;
Sun, 15 Jan 2012 14:17:42 +0100 wenzelm tuned proofs;
Sun, 15 Jan 2012 14:00:07 +0100 wenzelm eliminated dead code, together with spurious warning about congruence rule for "Fun.comp";
Sun, 15 Jan 2012 13:55:01 +0100 wenzelm more explicit/robust treatment of common snapshot;
Sat, 14 Jan 2012 21:16:15 +0100 wenzelm discontinued old-style Term.list_abs in favour of plain Term.abs;
Sat, 14 Jan 2012 20:05:58 +0100 wenzelm renamed Term.list_all to Logic.list_all, in accordance to HOLogic.list_all;
Sat, 14 Jan 2012 19:06:05 +0100 wenzelm renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;
Sat, 14 Jan 2012 18:18:06 +0100 wenzelm tuned;
Sat, 14 Jan 2012 17:45:04 +0100 wenzelm discontinued old-style Term.list_all_free in favour of plain Logic.all;
Sat, 14 Jan 2012 16:58:29 +0100 wenzelm tuned;
Sat, 14 Jan 2012 16:25:54 +0100 wenzelm discontinued default rendering for Oheimb's double-space;
Sat, 14 Jan 2012 16:14:22 +0100 wenzelm tuned white space;
Sat, 14 Jan 2012 16:12:09 +0100 wenzelm tuned comment;
Sat, 14 Jan 2012 15:44:44 +0100 wenzelm paranoia null check -- prevent spurious crash of jedit token markup;
Sat, 14 Jan 2012 15:30:54 +0100 wenzelm tuned comments;
Sat, 14 Jan 2012 15:20:29 +0100 wenzelm tuned signature;
Sat, 14 Jan 2012 14:34:42 +0100 wenzelm clarified partial restrict operation;
Sat, 14 Jan 2012 13:22:39 +0100 wenzelm tuned proofs;
Sat, 14 Jan 2012 13:11:32 +0100 wenzelm ignore empty gfx_range;
Sat, 14 Jan 2012 12:36:43 +0100 wenzelm tuned signature;
Fri, 13 Jan 2012 12:31:22 +0100 nipkow tuned
Fri, 13 Jan 2012 11:55:06 +0100 wenzelm handle specific exception, not arbitrary ones (including Interrupt);
Fri, 13 Jan 2012 11:50:28 +0100 wenzelm eliminated dead code;
Thu, 12 Jan 2012 23:29:03 +0100 wenzelm more modest settings for lxbroy10 -- might actually perform better;
Thu, 12 Jan 2012 22:05:54 +0100 wenzelm tuned;
Thu, 12 Jan 2012 21:50:00 +0100 wenzelm improved select_markup: include filtering of defined results;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip