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
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;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
misc updates, tuning and clarification;
13 months ago, by wenzelm
reformat source in jEdit (wrap margin 78);
13 months ago, by wenzelm
more accurate Markdown formatting, both for VSCode and Phabricator;
13 months ago, by wenzelm
just one README.md;
13 months ago, by wenzelm
tuned
13 months ago, by nipkow
merged
13 months ago, by wenzelm
more accurate platform directories: pkg/tool structure is hardwired in "go";
13 months ago, by wenzelm
support for etc/platform.props, to specify multi-platform directory structure more accurately;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
build Isabelle component for Go: all platforms;
13 months ago, by wenzelm
misc tuning;
13 months ago, by wenzelm
just one copy of darwin-universal.tar.gz;
13 months ago, by wenzelm
documented running time function framework by Jonas Stahl
13 months ago, by nipkow
merged
13 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
13 months ago, by desharna
merged
13 months ago, by nipkow
more uniform command names
13 months ago, by nipkow
tuned parameter order
13 months ago, by nipkow
shutdown lrzcloud2;
13 months ago, by wenzelm
tuned NEWS
13 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
13 months ago, by desharna
merged
13 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
13 months ago, by desharna
merged
13 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip