Mon, 12 Aug 2013 15:36:55 +0200 traytel generalized library function
Mon, 12 Aug 2013 18:03:47 +0200 wenzelm updated keywords;
Mon, 12 Aug 2013 18:02:01 +0200 wenzelm merged
Mon, 12 Aug 2013 17:57:51 +0200 wenzelm clarified Query_Operation.register: avoid hard-wired parallel policy;
Mon, 12 Aug 2013 17:17:49 +0200 wenzelm moved generic module to its proper place;
Mon, 12 Aug 2013 17:11:27 +0200 wenzelm manage hyperlinks via PIDE editor interface;
Mon, 12 Aug 2013 15:09:13 +0200 wenzelm tuned whitespace;
Mon, 12 Aug 2013 14:53:16 +0200 wenzelm prefer PIDE editor operations;
Mon, 12 Aug 2013 14:27:58 +0200 wenzelm central management of Document.Overlays, independent of Document_Model;
Mon, 12 Aug 2013 13:32:26 +0200 wenzelm tuned -- use Multi_Map;
Mon, 12 Aug 2013 13:30:54 +0200 wenzelm support for maps with multiple entries per key;
Mon, 12 Aug 2013 12:06:48 +0200 wenzelm tuned signature;
Mon, 12 Aug 2013 11:56:12 +0200 wenzelm tuned signature;
Mon, 12 Aug 2013 11:49:58 +0200 wenzelm tuned signature;
Mon, 12 Aug 2013 11:39:29 +0200 wenzelm tuned signature -- more abstract PIDE editor operations;
Mon, 12 Aug 2013 15:48:57 +0200 blanchet tuned messages
Mon, 12 Aug 2013 15:25:17 +0200 blanchet clarified option name (since case/fold/rec are also destructors)
Mon, 12 Aug 2013 15:25:17 +0200 blanchet define case constant from other 'free constructor' axioms
Mon, 12 Aug 2013 15:25:16 +0200 blanchet introduced case tactics
Mon, 12 Aug 2013 15:25:16 +0200 blanchet tuning
Mon, 12 Aug 2013 09:51:00 +0200 blanchet handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
Mon, 12 Aug 2013 09:38:42 +0200 blanchet qualify map and rel names
Mon, 12 Aug 2013 09:08:42 +0200 blanchet reverted ill-advised naming scheme of 5a77edcdbe54
Sun, 11 Aug 2013 23:35:59 +0200 blanchet made (hopefully temporary) hack more robust
Sun, 11 Aug 2013 23:35:59 +0200 blanchet added warning
Sun, 11 Aug 2013 23:35:59 +0200 blanchet gracefully handle one more error condition
Sun, 11 Aug 2013 23:35:59 +0200 blanchet gracefully fail to define polymorphic (co)datatypes in local context
Sun, 11 Aug 2013 23:35:59 +0200 blanchet made code more robust
Sun, 11 Aug 2013 23:35:59 +0200 blanchet avoid DUP exception in local context (cf. 062aa11e98e1)
Sun, 11 Aug 2013 23:35:57 +0200 blanchet honor user tfree names
Sat, 10 Aug 2013 12:00:34 +0200 kleing prefer local facts over global ones
Sat, 10 Aug 2013 11:59:03 +0200 kleing use local context for name space
Sat, 10 Aug 2013 10:59:56 +0200 wenzelm explicit "strict" flag for print functions (flipped internal meaning);
Sat, 10 Aug 2013 10:15:30 +0200 kleing avoid unnecessary case distinction
Sat, 10 Aug 2013 09:06:42 +0200 kleing adjust tooltip for duplicates option
Fri, 09 Aug 2013 20:44:46 +0200 wenzelm merged
Fri, 09 Aug 2013 20:31:51 +0200 wenzelm NEWS;
Fri, 09 Aug 2013 20:30:11 +0200 wenzelm Find is docked on startup;
Fri, 09 Aug 2013 20:26:54 +0200 wenzelm sorted lines;
Fri, 09 Aug 2013 20:23:53 +0200 wenzelm tuned GUI;
Fri, 09 Aug 2013 20:16:33 +0200 wenzelm retain current task priority, to avoid distortion due to local forks (e.g. sledgehammer query operation);
Fri, 09 Aug 2013 20:01:50 +0200 wenzelm removed "Locate" button, to avoid confusion about the slightly odd meaning of current_command with explicit theory context;
Fri, 09 Aug 2013 17:25:47 +0200 wenzelm enable search in pre-loaded theory;
Fri, 09 Aug 2013 16:17:48 +0200 wenzelm more GUI options;
Fri, 09 Aug 2013 15:49:50 +0200 wenzelm tuned signature;
Fri, 09 Aug 2013 15:14:59 +0200 wenzelm tuned;
Fri, 09 Aug 2013 15:00:29 +0200 wenzelm tuned GUI;
Fri, 09 Aug 2013 15:40:38 +0200 blanchet tuned name generation code (to make it easier to adapt later)
Fri, 09 Aug 2013 15:03:39 +0200 blanchet honor user type names if possible
Fri, 09 Aug 2013 13:57:21 +0200 wenzelm merged;
Fri, 09 Aug 2013 13:51:34 +0200 wenzelm more abstract consume_status operation;
Fri, 09 Aug 2013 13:37:51 +0200 wenzelm separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
Fri, 09 Aug 2013 12:29:15 +0200 wenzelm more active "provers" field, which increases chances that its history is stored;
Fri, 09 Aug 2013 12:25:24 +0200 wenzelm removed command location is considered finished, and its overlay removed eventually;
Fri, 09 Aug 2013 11:18:36 +0200 wenzelm cancel_query via direct access to the exec_id of the running query process;
Fri, 09 Aug 2013 10:41:17 +0200 wenzelm retain original messages properties, e.g. for retrieval via Command.Results;
Fri, 09 Aug 2013 09:55:25 +0200 wenzelm clarified toplevel_error: absorb and print interrupts;
Fri, 09 Aug 2013 00:04:47 +0200 wenzelm more explicit error;
Fri, 09 Aug 2013 00:02:18 +0200 wenzelm tuned message;
Thu, 08 Aug 2013 23:52:35 +0200 wenzelm removed unused YXML_Find_Theorems and Legacy_XML_Syntax;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip