Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
10 months ago
Fabian Huch
proper IPC for scheduled builds, following 7ae25372ab04;
changeset
|
files
10 months ago
Fabian Huch
proper check (amending 9aef1d1535ff);
changeset
|
files
10 months ago
Fabian Huch
more synced options (following 6e5397fcc41b);
changeset
|
files
10 months ago
haftmann
avoid [no_atp] declations shadowing propositions from sledgehammer
changeset
|
files
10 months ago
Fabian Huch
track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
changeset
|
files
10 months ago
Fabian Huch
use inherited build_start, following d9fc2cc37694;
changeset
|
files
10 months ago
wenzelm
update NEWS + CONTRIBUTORS for release;
changeset
|
files
10 months ago
haftmann
Tuned proofs
changeset
|
files
10 months ago
wenzelm
merged
changeset
|
files
10 months ago
wenzelm
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
changeset
|
files
10 months ago
wenzelm
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
changeset
|
files
10 months ago
wenzelm
tuned;
changeset
|
files
10 months ago
wenzelm
tuned whitespace;
changeset
|
files
10 months ago
wenzelm
proper system option, instead of hardwired default;
changeset
|
files
10 months ago
wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
changeset
|
files
10 months ago
wenzelm
tuned comments;
changeset
|
files
10 months ago
Fabian Huch
clarified build schedule host: proper module;
changeset
|
files
10 months ago
Fabian Huch
remove unused dummy;
changeset
|
files
10 months ago
Fabian Huch
tuned;
changeset
|
files
10 months ago
Fabian Huch
use timeout as default build time predictor if no data is available;
changeset
|
files
10 months ago
paulson
merged
changeset
|
files
10 months ago
paulson
Restored Riemann_Mapping as an import of Complex_Analysis
changeset
|
files
10 months ago
wenzelm
proper file headers;
changeset
|
files
10 months ago
wenzelm
clarified modules;
changeset
|
files
10 months ago
wenzelm
merged
changeset
|
files
10 months ago
wenzelm
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
changeset
|
files
10 months ago
wenzelm
tuned signature: more operations;
changeset
|
files
10 months ago
wenzelm
clarified signature: more explicit types;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip