testboard: Graph

Mercurial Mercurial > repos > testboard / 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 +3000 tip

. draft
2017-07-08, by nipkow
. draft
2017-07-08, by nipkow
ex12 draft
2017-07-07, by nipkow
. draft
2017-07-07, by nipkow
skew heap draft
2017-07-07, by nipkow
. draft
2017-07-06, by nipkow
. draft
2017-07-06, by nipkow
merged draft
2017-07-06, by nipkow
merged draft
2017-07-06, by lammich
xxx draft
2017-07-06, by lammich
. draft
2017-07-06, by nipkow
merged draft
2017-07-06, by nipkow
merged draft
2017-07-06, by lammich
binom tree slides, moved bin tree thys to public draft
2017-07-06, by lammich
More ex draft
2017-07-06, by lammich
More ex draft
2017-07-06, by lammich
. draft
2017-07-06, by nipkow
merged draft
2017-07-06, by nipkow
merged draft
2017-07-04, by lammich
ex11 draft
2017-07-04, by lammich
amortized draft
2017-07-06, by nipkow
. draft
2017-07-03, by nipkow
Amor draft
2017-07-03, by nipkow
. draft
2017-07-03, by nipkow
xxx draft
2017-07-03, by lammich
Heap slides draft
2017-06-29, by lammich
Ex10 draft
2017-06-26, by lammich
Removed and ignored generated folders from repo draft
2017-06-26, by lammich
Revived exercise fundus draft
2017-06-26, by lammich
Revived exercises draft
2017-06-26, by lammich
renamed ex Exercises draft
2017-06-26, by lammich
Added exercises to private repo draft
2017-06-26, by lammich
building two document variants, hgignore files draft
2017-06-23, by lammich
Isabelel via symlink draft
2017-06-23, by lammich
init draft
2017-06-23, by nipkow
README.md created online with Bitbucket
2017-06-23, by Tobias Nipkow
Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre) draft
2019-02-04, by Manuel Eberl
Exponentiation by squaring, fast modular exponentiation draft
2019-02-04, by Manuel Eberl
Exponentiation by squaring, fast modular exponentiation draft
2019-02-04, by Manuel Eberl
clarified URL -- avoid odd certificate problem with api.media.atlassian.com;
2019-02-04, by wenzelm
back to stable polyml-5.7.1-8 for now;
2019-02-04, by wenzelm
More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
2019-02-04, by Manuel Eberl
clarified signature: Path.T as in Generated_Files;
2019-02-02, by wenzelm
back to polyml-test-1b2dcf8f5202 -- more stable;
2019-02-02, by wenzelm
updated to polyml-test-b68438d33c69;
2019-02-01, by wenzelm
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
2019-02-01, by wenzelm
NEWS;
2019-01-31, by wenzelm
more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME";
2019-01-31, by wenzelm
merged
2019-01-31, by wenzelm
removed left-over test material (amending bb0a354f6b46);
2019-01-31, by wenzelm
updated to polyml-test-1236652ebd55;
2019-01-31, by wenzelm
added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
2019-01-31, by wenzelm
adapted to a8ee66876a1a;
2019-01-31, by wenzelm
show file-browser favorites more prominently: access to Isabelle resources;
2019-01-31, by wenzelm
tuned -- sort lines;
2019-01-31, by wenzelm
tuned default layout;
2019-01-31, by wenzelm
clarified default layout: global overview left, local document information right;
2019-01-31, by wenzelm
prefer tail-recursive version (despite 4b99b1214034);
2019-01-31, by wenzelm
proper congruence rule for image operator
2019-01-31, by haftmann
less special syntax: make \<Sum> an ordinary function symbol
2019-01-31, by nipkow

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

testboard