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.
proper session_init *after* deleting db files (amending af6c493b0441);
18 months ago, by wenzelm
clarified signature: more concise data;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
clarified signature: better default;
18 months ago, by wenzelm
show only active builds;
18 months ago, by wenzelm
clarified output;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
support for identified builds;
18 months ago, by wenzelm
clarified signature: more operations and options;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
more robust close() after failed initialization;
18 months ago, by wenzelm
avoid repeated open_database_server: synchronized transaction_lock;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more robust: proper transaction_lock;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature: more options;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified database for heaps: do not depend on build_database_test;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
More metric space material
18 months ago, by paulson
merged
18 months ago, by paulson
New and generalised analysis lemmas
18 months ago, by paulson
tuned names
18 months ago, by nipkow
clarified signature: prefer explicit combinator;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip