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.
tuned: more uniform, less ambitious;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
minor performance tuning;
9 months ago, by wenzelm
minor performance tuning;
9 months ago, by wenzelm
minor performance tuning;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
minor performance tuning;
9 months ago, by wenzelm
support large byte arrays, using multiple "chunks";
9 months ago, by wenzelm
clarified File.eq_content, following 306f273c91ec;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified hash and equality: depend on sha1 digest to be collision-free;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned source structure;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip