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 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip

clarified names: discontinue odd convention from 3 decades ago;
16 months ago, by wenzelm
further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
16 months ago, by wenzelm
added documentation for meromorphicity etc. in HOL-Complex_Analysis
16 months ago, by Manuel Eberl
merged
16 months ago, by desharna
merged
16 months ago, by desharna
added special syntax for FSet.Ball and FSet.Bex
16 months ago, by desharna

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip

isabelle