Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2005-02-08
nipkow
cvs merge problem fixed
changeset
|
files
2005-02-08
paulson
new treatment of fold1
changeset
|
files
2005-02-08
nipkow
Fixed lattice defns
changeset
|
files
2005-02-07
nipkow
*** empty log message ***
changeset
|
files
2005-02-07
nipkow
fixed latex problems by including bigsqcap
changeset
|
files
2005-02-07
nipkow
fixed latex problems
changeset
|
files
2005-02-06
paulson
fixed mac line
changeset
|
files
2005-02-05
nipkow
Added Lattice locale
changeset
|
files
2005-02-04
paulson
clausification and proof reconstruction
changeset
|
files
2005-02-04
paulson
comment
changeset
|
files
2005-02-04
nipkow
Added semi-lattice locales and reorganized fold1 lemmas
changeset
|
files
2005-02-03
nipkow
added find_rewrites
changeset
|
files
2005-02-03
paulson
new treatment of demodulation in proof reconstruction
changeset
|
files
2005-02-03
kleing
don't generate latex for LaTeXsugar and OptionalSugar
changeset
|
files
2005-02-03
kleing
removed sugar.sty (obsolete for devel version)
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
+30000
tip