isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

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
include full ML statistics: max heap size;
2017-05-17, by wenzelm
tuned;
2017-05-17, by wenzelm
eliminated unused operations;
2017-05-17, by wenzelm
tuned signature;
2017-05-17, by wenzelm
clarified universal table: include ml_statistics;
2017-05-17, by wenzelm
proper order for entry list cons;
2017-05-17, by wenzelm
proper check (amending ad35427dbe88);
2017-05-17, by wenzelm
less restrictive filter: omit empty charts, but show latest timing;
2017-05-16, by wenzelm
prefer explicit output file: potentially more robust than stdout;
2017-05-16, by wenzelm
proper init_settings, before inspecting ML_HOME etc;
2017-05-16, by wenzelm
support for explicit output file: potentially more robust than stdout;
2017-05-16, by wenzelm
proper init_settings for init_component (before generated ML_OPTIONS etc.);
2017-05-16, by wenzelm
more arg_min
2017-05-16, by nipkow
NEWS;
2017-05-15, by wenzelm
history parameters like "Linux A", for more comparable results;
2017-05-15, by wenzelm
merged
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
style for <dl> that is reminiscent of LaTeX;
2017-05-14, by wenzelm
more systematic HTML.init_dir with css;
2017-05-14, by wenzelm
prefer logical markup;
2017-05-14, by wenzelm
extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
implicitly check for unknown files (not part of a Mercurial repository);
2017-05-14, by wenzelm
prefer explicit progress channel;
2017-05-14, by wenzelm
prefer explicit progress channel;
2017-05-14, by wenzelm
more explicit warning/error messages;
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
tuned;
2017-05-14, by wenzelm
clarified interface;
2017-05-14, by wenzelm
more robust command invocation, without defaults from hgrc;
2017-05-14, by wenzelm
clarified: repository files before commit;
2017-05-14, by wenzelm
eliminated suspicious Unicode;
2017-05-14, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle