| 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
|