Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
isabelle update -u path_cartouches;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
updated documentation;
16 months ago, by wenzelm
more options;
16 months ago, by wenzelm
tuned message;
16 months ago, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
16 months ago, by wenzelm
more robust;
16 months ago, by wenzelm
more operations;
16 months ago, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature: more operations;
16 months ago, by wenzelm
clarified signature: more operations;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
16 months ago, by wenzelm
clarified signature: old node is ignored;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
final tidying of theorems
16 months ago, by paulson
merged
16 months ago, by paulson
merged
16 months ago, by paulson
continued proof simplification
16 months ago, by paulson
merged
16 months ago, by paulson
Further simplifications
16 months ago, by paulson
More tidying of proofs
16 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip