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
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.
proper sha1_digest: need to include offset + length;
10 months ago, by wenzelm
clarified signature: pro-forma support for Bytes with size: Long;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
clarified signature (again);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature: discontinue somewhat misleading Bytes <: CharSequence;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
clarified signature: more accurate types;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned messages;
10 months ago, by Fabian Huch
clarified web server paths;
10 months ago, by Fabian Huch
sort web app parameters in list;
10 months ago, by Fabian Huch
proper available hosts;
10 months ago, by Fabian Huch
tuned proof
10 months ago, by desharna
tuned comments;
10 months ago, by Fabian Huch
add build_manager_database tool to restore db from log files;
10 months ago, by Fabian Huch
use build log in build manager to store meta-data persistently;
10 months ago, by Fabian Huch
add build log format for managed builds;
10 months ago, by Fabian Huch
improve build manager log (for build_log);
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
proper web server address;
10 months ago, by Fabian Huch
clarified names: more canonical;
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
remove unused;
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
fixed NEWS
10 months ago, by desharna
merged
10 months ago, by wenzelm
tuned signature: more exports;
10 months ago, by wenzelm
clarified signature: prefer internal Thm_Name.T over external Facts.ref;
10 months ago, by wenzelm
more robust / permissive;
10 months ago, by wenzelm
clarified signature: more operations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified operations, following pretty_thm_name;
10 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
10 months ago, by wenzelm
renamed lemmas
10 months ago, by desharna
merged
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add title;
10 months ago, by Fabian Huch
use build_cluster in ci builds;
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
tuned alias names in formulas
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add favicon to web app;
10 months ago, by Fabian Huch
merged
10 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
10 months ago, by wenzelm
more operations, following Isabelle/ML;
10 months ago, by wenzelm
clarified signature: more explicit operations;
10 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
10 months ago, by wenzelm
clarified operations, including exceptions;
10 months ago, by wenzelm
tuned: more direct Isabelle/ML;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
more accurate thm "name_hint", using Thm_Name.T;
10 months ago, by wenzelm
more operationsd;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified output, following Consumer_Thread.failure;
10 months ago, by wenzelm
more informative exception output, with optional trace;
10 months ago, by wenzelm
more accurate output of Thm_Name.T wrt. facts name space;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip