Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-48
+48
+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.
more uniform operations;
21 months ago, by wenzelm
restrict to proper_session_theories;
21 months ago, by wenzelm
proper build parameters (amending d858e6f15da3);
21 months ago, by wenzelm
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
21 months ago, by wenzelm
more command-line options;
21 months ago, by wenzelm
tuned options --- avoid confusion with "isabelle build -b";
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
isabelle update -u path_cartouches;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
updated documentation;
21 months ago, by wenzelm
more options;
21 months ago, by wenzelm
tuned message;
21 months ago, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
21 months ago, by wenzelm
more robust;
21 months ago, by wenzelm
more operations;
21 months ago, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature: more operations;
21 months ago, by wenzelm
clarified signature: more operations;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
21 months ago, by wenzelm
clarified signature: old node is ignored;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
final tidying of theorems
21 months ago, by paulson
merged
21 months ago, by paulson
merged
21 months ago, by paulson
continued proof simplification
21 months ago, by paulson
merged
21 months ago, by paulson
Further simplifications
21 months ago, by paulson
More tidying of proofs
21 months ago, by paulson
tuned;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
discontinued fragile operation;
21 months ago, by wenzelm
more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
avoid somewhat fragile Document.Node.Name.master_dir_path;
21 months ago, by wenzelm
clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-48
+48
+100
+300
+1000
+3000
tip