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: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
clarified build schedule host: proper module;
10 months ago, by Fabian Huch
remove unused dummy;
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
use timeout as default build time predictor if no data is available;
10 months ago, by Fabian Huch
merged
10 months ago, by paulson
Restored Riemann_Mapping as an import of Complex_Analysis
10 months ago, by paulson
proper file headers;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
clarified signature: more explicit types;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
removed somewhat pointless check;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
merged
10 months ago, by paulson
Fixed a latex error in the markup
10 months ago, by paulson
minor performance tuning: SQL.order_by is only for demo purposes;
10 months ago, by wenzelm
support efficient access to state updates, based on LEFT OUTER JOIN;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned: prefer if_proper expression;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned: prefer if_proper expression;
10 months ago, by wenzelm
New material by Wenda Li and Manuel Eberl
10 months ago, by paulson
merged
10 months ago, by traytel
export BNF properties about the cardinal bound (by Jan van Brügge)
10 months ago, by traytel

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

isabelle