Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README.html
author wenzelm
Thu, 10 Nov 2005 20:57:16 +0100
changeset 18146 47463b1825c6
parent 17547 b0d70cf4ed18
child 25126 705f54aeba7c
permissions -rw-r--r--
uncurried Consts.typargs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15278
25dc2f17661b added DOCTYPE and Content-Type declarations to make this a valid HTML file
webertj
parents: 14629
diff changeset 
     1
 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
25dc2f17661b added DOCTYPE and Content-Type declarations to make this a valid HTML file
webertj
parents: 14629
diff changeset 
     2
 







15582






7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15278

diff
changeset




     3


<!-- $Id$ -->













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15278

diff
changeset




     4