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
-32
+32
+50
+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.
updated dependencies;
2017-05-21, by wenzelm
added one more simplification to help replay
2017-05-21, by blanchet
adapt to Scala 2.12.x
2017-05-21, by Lars Hupel
updated to postgresql-42.1.1;
2017-05-20, by wenzelm
updated to sqlite-jdbc-3.18.0;
2017-05-20, by wenzelm
keep main build.log to help diagnosing spurious lack of log_path.xz;
2017-05-20, by wenzelm
clarified build_polyml_component;
2017-05-19, by wenzelm
avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
2017-05-19, by wenzelm
updated;
2017-05-19, by wenzelm
more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
2017-05-19, by wenzelm
tuned;
2017-05-19, by wenzelm
suppress ANSI control sequences in Scala console;
2017-05-19, by wenzelm
updated to scala-2.12.2;
2017-05-19, by wenzelm
updated to jdk-8u131;
2017-05-19, by wenzelm
updated to xz-java-1.6;
2017-05-19, by wenzelm
separate keep auxiliary directory, to facilitate error diagnosis;
2017-05-19, by wenzelm
Merged
2017-05-18, by eberlm
more on sublists
2017-05-18, by eberlm
tuned;
2017-05-18, by wenzelm
more charts;
2017-05-18, by wenzelm
uniform heap_scale;
2017-05-18, by wenzelm
more plots from ml_statistics;
2017-05-18, by wenzelm
simplified signature;
2017-05-18, by wenzelm
tuned signature;
2017-05-18, by wenzelm
more JFreeChart operations;
2017-05-18, by wenzelm
do not store bulky ml_statistics;
2017-05-17, by wenzelm
more output;
2017-05-17, by wenzelm
plot average heap size;
2017-05-17, by wenzelm
more systematic maximum and average;
2017-05-17, by wenzelm
clarified use of XML.Cache;
2017-05-17, by wenzelm
proper ml_statistics;
2017-05-17, by wenzelm
store processed content instead of somewhat bulky properties;
2017-05-17, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
+3000
+10000
tip