Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
doc-src/ERRATA.txt
2004-02-10
paulson
updated links to the old ftp site
file
|
diff
|
annotate
1995-05-11
lcp
show_sorts
file
|
diff
|
annotate
1995-05-03
lcp
Updates involving defs, addss, etc.
file
|
diff
|
annotate
1995-01-24
lcp
updates for Isabelle94-2
file
|
diff
|
annotate
1995-01-13
lcp
empty_def typo
Isabelle94-2
file
|
diff
|
annotate
1994-11-21
lcp
page 157 erratum
file
|
diff
|
annotate
1994-11-18
nipkow
Chnaged simplifier description (lhss)
file
|
diff
|
annotate
1994-11-11
lcp
argument swaps in HOL
file
|
diff
|
annotate
1994-09-15
lcp
now mentions that the sections are available as
file
|
diff
|
annotate
1994-09-11
nipkow
Added primrec section
file
|
diff
|
annotate
1994-09-09
lcp
now in a format that could be published
file
|
diff
|
annotate
1994-08-04
lcp
addition of show_brackets
file
|
diff
|
annotate
1994-07-27
lcp
logics update
file
|
diff
|
annotate
1994-07-18
nipkow
*** empty log message ***
file
|
diff
|
annotate
1994-07-11
nipkow
type constraints
file
|
diff
|
annotate
1994-07-11
lcp
New errata list for the documentation
file
|
diff
|
annotate
less
more
(0)
tip