Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2013-08-12
traytel
temporary sorry's for temporarily nonterminating (due to 2b430bbb5a1a) proofs
changeset
|
files
2013-08-12
blanchet
qualify intermediate typedefs
changeset
|
files
2013-08-12
blanchet
avoid double qualification for case constants
changeset
|
files
2013-08-12
blanchet
qualify more generated names with optional type name component
changeset
|
files
2013-08-12
traytel
eliminated bogus assumption from theorem (that was instantiated with refl and resulted in flexflex pairs)
changeset
|
files
2013-08-12
traytel
generalized library function
changeset
|
files
2013-08-12
wenzelm
updated keywords;
changeset
|
files
2013-08-12
wenzelm
merged
changeset
|
files
2013-08-12
wenzelm
clarified Query_Operation.register: avoid hard-wired parallel policy;
changeset
|
files
2013-08-12
wenzelm
moved generic module to its proper place;
changeset
|
files
2013-08-12
wenzelm
manage hyperlinks via PIDE editor interface;
changeset
|
files
2013-08-12
wenzelm
tuned whitespace;
changeset
|
files
2013-08-12
wenzelm
prefer PIDE editor operations;
changeset
|
files
2013-08-12
wenzelm
central management of Document.Overlays, independent of Document_Model;
changeset
|
files
2013-08-12
wenzelm
tuned -- use Multi_Map;
changeset
|
files
2013-08-12
wenzelm
support for maps with multiple entries per key;
changeset
|
files
2013-08-12
wenzelm
tuned signature;
changeset
|
files
2013-08-12
wenzelm
tuned signature;
changeset
|
files
2013-08-12
wenzelm
tuned signature;
changeset
|
files
2013-08-12
wenzelm
tuned signature -- more abstract PIDE editor operations;
changeset
|
files
2013-08-12
blanchet
tuned messages
changeset
|
files
2013-08-12
blanchet
clarified option name (since case/fold/rec are also destructors)
changeset
|
files
2013-08-12
blanchet
define case constant from other 'free constructor' axioms
changeset
|
files
2013-08-12
blanchet
introduced case tactics
changeset
|
files
2013-08-12
blanchet
tuning
changeset
|
files
2013-08-12
blanchet
handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
changeset
|
files
2013-08-12
blanchet
qualify map and rel names
changeset
|
files
2013-08-12
blanchet
reverted ill-advised naming scheme of 5a77edcdbe54
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
tip