Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 10 Jul 2007 13:12:53 +0200 cd ISABELLE_HOME/etc;
changeset
wenzelm [Tue, 10 Jul 2007 13:12:53 +0200] rev 23694
cd ISABELLE_HOME/etc;
Tue, 10 Jul 2007 09:24:43 +0200 adjusted
changeset
haftmann [Tue, 10 Jul 2007 09:24:43 +0200] rev 23693
adjusted
Tue, 10 Jul 2007 09:24:14 +0200 updated keywords
changeset
haftmann [Tue, 10 Jul 2007 09:24:14 +0200] rev 23692
updated keywords
Tue, 10 Jul 2007 09:23:17 +0200 simplified, tuned
changeset
haftmann [Tue, 10 Jul 2007 09:23:17 +0200] rev 23691
simplified, tuned
Tue, 10 Jul 2007 09:23:16 +0200 re-expanded paths
changeset
haftmann [Tue, 10 Jul 2007 09:23:16 +0200] rev 23690
re-expanded paths
Tue, 10 Jul 2007 09:23:15 +0200 replaced code generator framework for reflected cooper
changeset
haftmann [Tue, 10 Jul 2007 09:23:15 +0200] rev 23689
replaced code generator framework for reflected cooper
Tue, 10 Jul 2007 09:23:14 +0200 expanded fragile proof
changeset
haftmann [Tue, 10 Jul 2007 09:23:14 +0200] rev 23688
expanded fragile proof
Tue, 10 Jul 2007 09:23:13 +0200 extended - convers now basic lcm properties also
changeset
haftmann [Tue, 10 Jul 2007 09:23:13 +0200] rev 23687
extended - convers now basic lcm properties also
Tue, 10 Jul 2007 09:23:12 +0200 constant dvd now in class target
changeset
haftmann [Tue, 10 Jul 2007 09:23:12 +0200] rev 23686
constant dvd now in class target
Tue, 10 Jul 2007 09:23:11 +0200 moved lemma zdvd_period here
changeset
haftmann [Tue, 10 Jul 2007 09:23:11 +0200] rev 23685
moved lemma zdvd_period here
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle