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/TutorialI/Makefile
2009-06-17
haftmann
more precise dependencies
file
|
diff
|
annotate
2008-05-15
wenzelm
use Isabelle sty files from Doc/;
file
|
diff
|
annotate
2007-07-23
berghofe
Replaced "hand-made" LaTeX code in Protocol/protocol.tex by
file
|
diff
|
annotate
2007-07-19
berghofe
Replaced "hand-made" files by generated files in Inductive/document.
file
|
diff
|
annotate
2002-01-08
wenzelm
dependencies for "typedef" image;
file
|
diff
|
annotate
2002-01-08
wenzelm
improved arrangement of "typedef" images;
file
|
diff
|
annotate
2002-01-08
wenzelm
tuned;
file
|
diff
|
annotate
2002-01-07
wenzelm
tuned deps;
file
|
diff
|
annotate
2002-01-05
wenzelm
tuned;
file
|
diff
|
annotate
2002-01-04
wenzelm
link Types/typedef images;
file
|
diff
|
annotate
2001-12-20
wenzelm
removed Types/records.tex;
file
|
diff
|
annotate
2001-10-01
wenzelm
initial setup for chapter on document preparation;
file
|
diff
|
annotate
2001-07-20
wenzelm
SEDINDEX = ./isa-index;
file
|
diff
|
annotate
2001-07-17
paulson
tidying the index
file
|
diff
|
annotate
2001-07-09
paulson
isa-index replaces ../sedindex: knows about \\isa
file
|
diff
|
annotate
2000-08-28
wenzelm
proper setup of iman.sty/extra.sty/ttbox.sty;
file
|
diff
|
annotate
2000-05-09
wenzelm
use proper version of pdfsetup.sty;
file
|
diff
|
annotate
2000-05-08
wenzelm
improved indexing;
file
|
diff
|
annotate
2000-04-20
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-04-19
nipkow
I wonder if that's all?
file
|
diff
|
annotate
less
more
(0)
tip