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.
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
21 months ago, by wenzelm
more robust: avoid detour via somewhat fragile Node.Name.path;
21 months ago, by wenzelm
clarified generic path operations;
21 months ago, by wenzelm
more flexible: implicit support for Windows;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified output;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
merged
21 months ago, by paulson
More tidying
21 months ago, by paulson
Further cleaning up of messy proofs
21 months ago, by paulson
merged
21 months ago, by paulson
reorganisation and simplification of theorems about transcendental functions
21 months ago, by paulson
tuned signature;
21 months ago, by wenzelm
support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
21 months ago, by wenzelm
tuned --- more robust ML patterns;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
tuned signature, for the sake of AFP/Isabelle_C;
21 months ago, by wenzelm
more uniform report of Markup.language_path;
21 months ago, by wenzelm
omit pointless guard: ultimately observed by Isabelle_Process.report_message;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned output;
21 months ago, by wenzelm
merged
21 months ago, by paulson
Tidied some messy proofs
21 months ago, by paulson
merged
21 months ago, by wenzelm
clarified modules: avoid duplication;
21 months ago, by wenzelm
tuned output;
21 months ago, by wenzelm
support for generic File_Format.parse_data, with persistent result in document model;
21 months ago, by wenzelm
omit warning: somewhat pointless and out-of-context;
21 months ago, by wenzelm
clarified signature: avoid case class with mutable state;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature: more explicit types;
21 months ago, by wenzelm
merged
21 months ago, by paulson
tidied some messy old proofs
21 months ago, by paulson
tuned signature;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-48
+48
+100
+300
+1000
+3000
tip