Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
+300
+1000
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.
tuned comments;
11 months ago, by Fabian Huch
add build_manager_database tool to restore db from log files;
11 months ago, by Fabian Huch
use build log in build manager to store meta-data persistently;
11 months ago, by Fabian Huch
add build log format for managed builds;
11 months ago, by Fabian Huch
improve build manager log (for build_log);
11 months ago, by Fabian Huch
clarified;
11 months ago, by Fabian Huch
proper web server address;
11 months ago, by Fabian Huch
clarified names: more canonical;
11 months ago, by Fabian Huch
clarified;
11 months ago, by Fabian Huch
remove unused;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
fixed NEWS
11 months ago, by desharna
merged
11 months ago, by wenzelm
tuned signature: more exports;
11 months ago, by wenzelm
clarified signature: prefer internal Thm_Name.T over external Facts.ref;
11 months ago, by wenzelm
more robust / permissive;
11 months ago, by wenzelm
clarified signature: more operations;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified operations, following pretty_thm_name;
11 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
11 months ago, by wenzelm
renamed lemmas
11 months ago, by desharna
merged
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
add title;
11 months ago, by Fabian Huch
use build_cluster in ci builds;
11 months ago, by Fabian Huch
merged
11 months ago, by desharna
tuned alias names in formulas
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
add favicon to web app;
11 months ago, by Fabian Huch
merged
11 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
11 months ago, by wenzelm
more operations, following Isabelle/ML;
11 months ago, by wenzelm
clarified signature: more explicit operations;
11 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
11 months ago, by wenzelm
clarified operations, including exceptions;
11 months ago, by wenzelm
tuned: more direct Isabelle/ML;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
more accurate thm "name_hint", using Thm_Name.T;
11 months ago, by wenzelm
more operationsd;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
clarified output, following Consumer_Thread.failure;
11 months ago, by wenzelm
more informative exception output, with optional trace;
11 months ago, by wenzelm
more accurate output of Thm_Name.T wrt. facts name space;
11 months ago, by wenzelm
clarified signature: more operations;
11 months ago, by wenzelm
tuned structure;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name;
11 months ago, by wenzelm
clarified signature: prefer explicit operation;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned: prefer Thm_Name operations;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
prefer dynamic position from command transaction;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
clarified signature: more explicit preprocessing;
11 months ago, by wenzelm
clarified signature: separate formal context from exported theory_name;
11 months ago, by wenzelm
tuned signature: just one ZThm is sufficient;
11 months ago, by wenzelm
renamed lemmas
11 months ago, by desharna
build manager: echo error messages to server output;
11 months ago, by Fabian Huch
omit showing previous failures for user builds;
11 months ago, by Fabian Huch
always handle interrupted jobs;
11 months ago, by Fabian Huch
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
11 months ago, by Fabian Huch
clarified context: operations now in build process;
11 months ago, by Fabian Huch
clarified: add explicit build process;
11 months ago, by Fabian Huch
remove unnecessary subdir;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
tuned proof: avoid smt/z3 to make this work with arm64-linux;
11 months ago, by wenzelm
proper afp_directory (amending 9308bc5f65d6);
11 months ago, by wenzelm
clarified names;
11 months ago, by wenzelm
clarified name: avoid clash with Library.Update;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
more informative ZBox;
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
remove unused (see also 04214caeb9ac);
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
add triggers to ci jobs: on commit vs timed;
11 months ago, by Fabian Huch
manage components of ci builds;
11 months ago, by Fabian Huch
use external CSS for build manager page;
11 months ago, by Fabian Huch
more build manager page;
11 months ago, by Fabian Huch
more page elements;
11 months ago, by Fabian Huch
web app: add automatic resize;
11 months ago, by Fabian Huch
ensure permissions when starting build task (e.g., due to misconfigured client);
11 months ago, by Fabian Huch
add verbose option to build_task;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
build manager: manage directories/permissions, to minimize local administration;
11 months ago, by Fabian Huch
read prefs properly;
11 months ago, by Fabian Huch
allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
11 months ago, by Fabian Huch
web app: proper document height;
11 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
+300
+1000
tip