Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
+10000
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.
back to old-style names for uniform sorting of build_status (amending 138e8226961e);
2020-03-19, by wenzelm
support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
2020-03-19, by wenzelm
clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
2020-03-18, by wenzelm
clarified output;
2020-03-18, by wenzelm
proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
2020-03-16, by wenzelm
clarified connection parameters;
2020-03-16, by wenzelm
clarified test;
2020-03-15, by wenzelm
remove Thm.transfer workaround made obsplete by cf2406e654cf
2020-03-15, by traytel
back to post-release mode;
2020-03-15, by wenzelm
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
2020-03-15, by wenzelm
claried error elements: include internalized errors of tokens/commands;
2020-03-15, by wenzelm
more robust connection via proxy_host;
2020-03-15, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
+10000
tip