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

tuned signature;
10 months ago, by wenzelm
tuned signature: more uniform SQL.Data instances;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
10 months ago, by wenzelm
revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;
10 months ago, by wenzelm
record updates within database, based on serial;
10 months ago, by wenzelm
proper tables (amending 4611b7b47b42);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature: improved data integrity;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
obsolete;
10 months ago, by wenzelm
misc tuning: prefer Build_Process.Update operations;
10 months ago, by wenzelm
misc tuning and clarification: prefer explicit type Build_Process.Update;
10 months ago, by wenzelm
misc tuning and clarification;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified data representation: more uniform treatment of State.Pending vs. State.Running;
10 months ago, by wenzelm
tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
10 months ago, by wenzelm
upgrade pretty_maybe_quote following 2746dfc9ceae;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
eliminate odd aliases (see also 2746dfc9ceae);
10 months ago, by wenzelm
tuned signature: prefer bottom-up construction;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more operations for Build_Log.Meta_Info: prefer explicit types;
10 months ago, by wenzelm

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

isabelle