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

clarified signature;
8 months ago, by wenzelm
tuned source structure;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
minor performance tuning;
8 months ago, by wenzelm
proper sha1_digest: need to include offset + length;
8 months ago, by wenzelm
clarified signature: pro-forma support for Bytes with size: Long;
8 months ago, by wenzelm
minor performance tuning;
8 months ago, by wenzelm
clarified signature (again);
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified signature: discontinue somewhat misleading Bytes <: CharSequence;
8 months ago, by wenzelm
minor performance tuning;
8 months ago, by wenzelm
clarified signature: more accurate types;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned messages;
8 months ago, by Fabian Huch
clarified web server paths;
8 months ago, by Fabian Huch
sort web app parameters in list;
8 months ago, by Fabian Huch
proper available hosts;
8 months ago, by Fabian Huch
tuned proof
8 months ago, by desharna
tuned comments;
8 months ago, by Fabian Huch
add build_manager_database tool to restore db from log files;
8 months ago, by Fabian Huch
use build log in build manager to store meta-data persistently;
8 months ago, by Fabian Huch
add build log format for managed builds;
8 months ago, by Fabian Huch
improve build manager log (for build_log);
8 months ago, by Fabian Huch
clarified;
8 months ago, by Fabian Huch
proper web server address;
8 months ago, by Fabian Huch
clarified names: more canonical;
8 months ago, by Fabian Huch
clarified;
8 months ago, by Fabian Huch
remove unused;
8 months ago, by Fabian Huch

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

isabelle