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
-24
+24
+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.
documented running time function framework by Jonas Stahl
10 months ago, by nipkow
merged
10 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
10 months ago, by desharna
merged
10 months ago, by nipkow
more uniform command names
10 months ago, by nipkow
tuned parameter order
10 months ago, by nipkow
shutdown lrzcloud2;
10 months ago, by wenzelm
tuned NEWS
10 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
10 months ago, by desharna
merged
10 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
10 months ago, by desharna
merged
10 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
10 months ago, by wenzelm
update to sumatra_pdf-3.5.2;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
update to jsoup-1.17.2;
10 months ago, by wenzelm
proper bib entries (amending 82aaa0d8fc3b);
10 months ago, by wenzelm
update to dotnet-8.0.203;
10 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
10 months ago, by wenzelm
update to sqlite-3.45.2.0: clarified component name, following postgresql;
10 months ago, by wenzelm
activate postgresql-42.7.3;
10 months ago, by wenzelm
update to postgresql-42.7.3;
10 months ago, by wenzelm
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
10 months ago, by wenzelm
isabelle update -u cite;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
tip