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/iman.sty
2000-09-27
paulson
exchanged the declaration of "seealso" and loading of "makeidx" because the
file
|
diff
|
annotate
2000-08-28
wenzelm
moved \tt things to ttbox.sty;
file
|
diff
|
annotate
2000-05-08
wenzelm
recovered \seealso;
file
|
diff
|
annotate
2000-05-08
wenzelm
\usepackage{makeidx};
file
|
diff
|
annotate
1999-10-29
wenzelm
tuned;
file
|
diff
|
annotate
1999-09-04
wenzelm
removed \VVar;
file
|
diff
|
annotate
1999-09-03
wenzelm
\PROP;
file
|
diff
|
annotate
1999-08-23
wenzelm
tuned;
file
|
diff
|
annotate
1999-08-22
wenzelm
\VVar;
file
|
diff
|
annotate
1999-08-03
wenzelm
tuned attdx, methdx;
file
|
diff
|
annotate
1999-07-30
wenzelm
added \text;
file
|
diff
|
annotate
1999-07-19
wenzelm
added attdx, methdx;
file
|
diff
|
annotate
1999-05-28
wenzelm
\def\bold;
file
|
diff
|
annotate
1999-01-13
paulson
defined dquotesoff
file
|
diff
|
annotate
1998-10-24
wenzelm
tuned;
file
|
diff
|
annotate
1998-10-23
wenzelm
matharray;
file
|
diff
|
annotate
1997-11-20
paulson
New, higher-level definition of \\out macro
file
|
diff
|
annotate
1997-07-03
paulson
Modified the \tydx command to set types in italics instead of \tt
file
|
diff
|
annotate
1997-05-16
wenzelm
added \settdx;
file
|
diff
|
annotate
1997-05-14
wenzelm
added \tooldx;
file
|
diff
|
annotate
1997-05-06
wenzelm
added \Pure, \CPure;
file
|
diff
|
annotate
1997-05-02
wenzelm
fixed comment;
file
|
diff
|
annotate
1997-05-02
berghofe
Updated to LaTeX 2e
file
|
diff
|
annotate
1996-04-04
nipkow
Messed up last update.
file
|
diff
|
annotate
1996-04-04
nipkow
Replaced \CHOL by \HOLCF
file
|
diff
|
annotate
1995-05-09
clasohm
added \CHOL
file
|
diff
|
annotate
1994-05-03
lcp
post-CRC corrections
file
|
diff
|
annotate
1994-03-24
lcp
added \iflabelundefined
file
|
diff
|
annotate
1994-03-23
lcp
first draft of Springer volume
file
|
diff
|
annotate
1993-11-23
nipkow
changed itmath trickery to be compatible with NFSS (itmath.sty)
file
|
diff
|
annotate
1993-11-11
lcp
new style file
file
|
diff
|
annotate
less
more
(0)
tip