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

tuned whitespace;
2016-11-21, by wenzelm
tuned;
2016-11-21, by wenzelm
more on "Indentation";
2016-11-20, by wenzelm
more on "Formal scopes and semantic selection";
2016-11-20, by wenzelm
misc tuning and updates;
2016-11-20, by wenzelm
more on JVM heap space;
2016-11-20, by wenzelm
tuned;
2016-11-20, by wenzelm
more on Isar proof language;
2016-11-20, by wenzelm
documentation for Isabelle/Scala tools;
2016-11-20, by wenzelm
more symbols;
2016-11-19, by wenzelm
avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;
2016-11-19, by wenzelm
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
2016-11-13, by wenzelm
optional component setup;
2016-11-12, by wenzelm
clarified msys root;
2016-11-12, by wenzelm
clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;
2016-11-12, by wenzelm
proper admin tool;
2016-11-12, by wenzelm
tuned output;
2016-11-12, by wenzelm
back to regular Isabelle tool (reverting abc34a149690);
2016-11-12, by wenzelm
tuned;
2016-11-11, by wenzelm
$HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
2016-11-11, by wenzelm
trim more thoroughly, e.g. trailing \0 seen on some system;
2016-11-11, by wenzelm
tuned;
2016-11-11, by wenzelm
build sha1 library;
2016-11-11, by wenzelm
proper CONFIG_SITE for msys;
2016-11-11, by wenzelm
clarified platform selection;
2016-11-11, by wenzelm
more robust Windows platform;
2016-11-11, by wenzelm
copy libgmp on Linux;
2016-11-11, by wenzelm
prefer raw Admin tool, without Isabelle settings environment;
2016-11-11, by wenzelm
clarified command-line;
2016-11-11, by wenzelm
no backup of generated stuff;
2016-11-11, by wenzelm
more precise environment (for Windows);
2016-11-11, by wenzelm
proper shell_path for msys inside cygwin;
2016-11-10, by wenzelm
support other bash executable (notably for msys on Windows);
2016-11-10, by wenzelm
proper options;
2016-11-10, by wenzelm
build_polyml in Scala;
2016-11-10, by wenzelm
clarified File.move: target directory like File.copy;
2016-11-10, by wenzelm
more logging, to see better when files written;
2016-11-10, by wenzelm
proper cleanup;
2016-11-10, by wenzelm
uniform order for options and args;
2016-11-10, by wenzelm
more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
2016-11-10, by wenzelm
tuned comment;
2016-11-10, by wenzelm
proper option for "build", not "build_history" (cf. 5ca4ac099e94);
2016-11-09, by wenzelm
tuned;
2016-11-07, by wenzelm
simplified main proof;
2016-11-07, by wenzelm
misc tuning and modernization;
2016-11-07, by wenzelm
recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;
2016-11-07, by wenzelm
more uniform path syntax, as in ML (see 5a7c919a4ada);
2016-11-07, by wenzelm
unused since 15865e0c5598;
2016-11-07, by wenzelm
added Nunchaku component and tuned Nunchaku integration accordingly
2016-11-07, by blanchet
back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
2016-11-06, by wenzelm
Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
2016-11-06, by wenzelm
more robust multithreading;
2016-11-05, by wenzelm
documentation of @{undefined} (actually introduced in Isabelle2016);
2016-11-05, by wenzelm
tuned;
2016-11-05, by wenzelm
Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
2016-11-05, by wenzelm
HOL-Probability: fix import path in Fin_Map
2016-11-04, by hoelzl
disable CVC4 statistics, and hence crashes upon user interruptions
2016-11-04, by blanchet
back to stable scala-2.11.8;
2016-11-04, by wenzelm
self_update of components, e.g. for vmnipkow9;
2016-11-04, by wenzelm
updated to scala-2.12.0;
2016-11-03, by wenzelm

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

isabelle