| Mon, 12 Aug 2013 21:30:35 +0200 |
blanchet |
qualify more generated names with optional type name component
|
changeset |
files
|
| Mon, 12 Aug 2013 20:04:03 +0200 |
traytel |
eliminated bogus assumption from theorem (that was instantiated with refl and resulted in flexflex pairs)
|
changeset |
files
|
| Mon, 12 Aug 2013 15:36:55 +0200 |
traytel |
generalized library function
|
changeset |
files
|
| Mon, 12 Aug 2013 18:03:47 +0200 |
wenzelm |
updated keywords;
|
changeset |
files
|
| Mon, 12 Aug 2013 18:02:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 12 Aug 2013 17:57:51 +0200 |
wenzelm |
clarified Query_Operation.register: avoid hard-wired parallel policy;
|
changeset |
files
|
| Mon, 12 Aug 2013 17:17:49 +0200 |
wenzelm |
moved generic module to its proper place;
|
changeset |
files
|
| Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
changeset |
files
|
| Mon, 12 Aug 2013 15:09:13 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 12 Aug 2013 14:53:16 +0200 |
wenzelm |
prefer PIDE editor operations;
|
changeset |
files
|
| Mon, 12 Aug 2013 14:27:58 +0200 |
wenzelm |
central management of Document.Overlays, independent of Document_Model;
|
changeset |
files
|
| Mon, 12 Aug 2013 13:32:26 +0200 |
wenzelm |
tuned -- use Multi_Map;
|
changeset |
files
|
| Mon, 12 Aug 2013 13:30:54 +0200 |
wenzelm |
support for maps with multiple entries per key;
|
changeset |
files
|
| Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Aug 2013 11:49:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
changeset |
files
|
| Mon, 12 Aug 2013 15:48:57 +0200 |
blanchet |
tuned messages
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:17 +0200 |
blanchet |
clarified option name (since case/fold/rec are also destructors)
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:17 +0200 |
blanchet |
define case constant from other 'free constructor' axioms
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:16 +0200 |
blanchet |
introduced case tactics
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:16 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Mon, 12 Aug 2013 09:51:00 +0200 |
blanchet |
handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
|
changeset |
files
|
| Mon, 12 Aug 2013 09:38:42 +0200 |
blanchet |
qualify map and rel names
|
changeset |
files
|
| Mon, 12 Aug 2013 09:08:42 +0200 |
blanchet |
reverted ill-advised naming scheme of 5a77edcdbe54
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
made (hopefully temporary) hack more robust
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
added warning
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
gracefully handle one more error condition
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
gracefully fail to define polymorphic (co)datatypes in local context
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
made code more robust
|
changeset |
files
|