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 -56 +56 +100 +300 +1000 tip

support for global registry;
14 months ago, by wenzelm
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
14 months ago, by wenzelm
slightly less technical formulation of very specific type class
14 months ago, by haftmann
weakened dependency
14 months ago, by haftmann
explicit type class for discrete linordered semidoms
14 months ago, by haftmann
proper dummy timing entries;
14 months ago, by Fabian Huch
use only finished sessions in timing data;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
14 months ago, by Fabian Huch
performance tuning for build schedule: faster stopping;
14 months ago, by Fabian Huch
performance tuning for timing heuristic: pre-calculate graph operations;
14 months ago, by Fabian Huch
move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);
14 months ago, by Fabian Huch
clarified signature: emphasize mutable instance;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
support for explicit SSH hostname;
14 months ago, by wenzelm
proper local host (amending 62d7ef1da441);
14 months ago, by wenzelm
merged
14 months ago, by nipkow
added lemma
14 months ago, by nipkow
proper default for disjunction (amending 9f7a94117666);
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
avoid option -C: free this latter for build-related configuration;
14 months ago, by wenzelm
more direct indentation, using Symbol.spaces;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more accurate treatment of surrounding whitespace;
14 months ago, by wenzelm
obsolete (see also f627ab8c276c);
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);
14 months ago, by wenzelm
more tests;
14 months ago, by wenzelm
clarified exploration of history: more uniform options;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
enable multi-builds (again, see also 0c7419d3dd59);
14 months ago, by wenzelm
explore history more thoroughly;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
clarified "recent" time: days <= 0 means infinity (no constraint);
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda);
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned output;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned message;
14 months ago, by wenzelm
proper option;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1;
14 months ago, by wenzelm
Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family
14 months ago, by paulson
merged
14 months ago, by wenzelm
prefer Time.scale(), following Isabelle/ML;
14 months ago, by wenzelm
proper benchmark command;
14 months ago, by Fabian Huch
merged
14 months ago, by wenzelm
proper progress (see also 45d570945fe4);
14 months ago, by wenzelm
improved build messages;
14 months ago, by Fabian Huch

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

isabelle