Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
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.
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
merged
10 months ago, by paulson
Fixed a latex error in the markup
10 months ago, by paulson
minor performance tuning: SQL.order_by is only for demo purposes;
10 months ago, by wenzelm
support efficient access to state updates, based on LEFT OUTER JOIN;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned: prefer if_proper expression;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned: prefer if_proper expression;
10 months ago, by wenzelm
New material by Wenda Li and Manuel Eberl
10 months ago, by paulson
merged
10 months ago, by traytel
export BNF properties about the cardinal bound (by Jan van Brügge)
10 months ago, by traytel
unused (see 123f2c0995b8);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust init_built: get_build_id and start_build within the same transaction;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
tip