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 tip

unused;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
clarified database layout;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more accurate types;
10 months ago, by wenzelm
build local log_db, with store/restore via optional database server;
10 months ago, by wenzelm
propagate property "isabelle.debug", notably for Java/Scala exception trace;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified names;
10 months ago, by wenzelm
more explicit build_cluster flag to guard open_build_database server;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
simplified specification of type class semiring_bits
10 months ago, by haftmann
New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl
10 months ago, by paulson
merged
10 months ago, by paulson
A small collection of new and useful facts, including the AM-GM inequality
10 months ago, by paulson
remove selected occurrences of 'moura' tactic
10 months ago, by blanchet
added lemmas relpowp_left_unique and relpow_left_unique
10 months ago, by desharna
added lemmas relpowp_right_unique and relpow_right_unique
10 months ago, by desharna
use define_time_fun
10 months ago, by nipkow
time funs: +1 instead of 1+
10 months ago, by nipkow
minor performance tuning;
10 months ago, by wenzelm
clarified signature: more comprehensive operations;
10 months ago, by wenzelm
clarified signature: more explicit types;
10 months ago, by wenzelm
clarified signature: emphasize physical db files;
10 months ago, by wenzelm
tuned: afford untyped/unscoped update;
10 months ago, by wenzelm
clarified signature: avoid ill-defined type java.net.URL;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned: afford untyped/unscoped update;
11 months ago, by wenzelm
more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;
11 months ago, by wenzelm
clarified signature: more explicit types/scopes;
11 months ago, by wenzelm
tuned names;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned documentation;
11 months ago, by wenzelm
more robust: disallow empty clusters, so "isabelle build -H" really means cluster build;
11 months ago, by wenzelm
clarified modules: centralize default policy;
11 months ago, by wenzelm
more explicit types --- fewer warnings in IntelliJ IDEA;
11 months ago, by wenzelm
tuned: avoid shadowing of names;
11 months ago, by wenzelm
clarified default "isabelle build -j0 -H";
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
clarifier worker vs. master, which may coincide for local build;
11 months ago, by wenzelm
clarified signature: more standard defaults;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
prefer static object, while class is required for "services";
11 months ago, by wenzelm
clarified signature: prefer default;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more robust: check subclasses as well;
11 months ago, by wenzelm
more robust;
11 months ago, by wenzelm
support for alternative user home, e.g. to avoid slow NFS shares;
11 months ago, by wenzelm
support explicit USER_HOME within SSH session;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
merged
11 months ago, by paulson

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

isabelle