Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorhaftmann
Mon, 15 Mar 2010 15:13:22 +0100
changeset 35797 533dd944e29c
parent 35795 5b95a36c1543 (diff)
parent 35796 2d44d2a1f68e (current diff)
child 35798 fd1bb29f8170
child 35803 3c1601857a6b
merged
--- a/src/HOL/Library/Library/document/root.tex	Mon Mar 15 15:13:07 2010 +0100
+++ b/src/HOL/Library/Library/document/root.tex	Mon Mar 15 15:13:22 2010 +0100
@@ -2,7 +2,7 @@
 \usepackage{ifthen}
 \usepackage[latin1]{inputenc}
 \usepackage[english]{babel}
-\usepackage{isabelle,isabellesym,amssymb}
+\usepackage{isabelle,isabellesym,amssymb,stmaryrd}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
isabelle