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.
fixed latex problems by including bigsqcap
authornipkow
Mon, 07 Feb 2005 08:02:49 +0100
changeset 15503 38616a65bfbd
parent 15502 9d012c7fadab
child 15504 5bc81e50f2c5
fixed latex problems by including bigsqcap
src/HOL/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/HOL/document/root.tex	Mon Feb 07 08:02:14 2005 +0100
+++ b/src/HOL/document/root.tex	Mon Feb 07 08:02:49 2005 +0100
@@ -3,6 +3,7 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx,isabelle,isabellesym,latexsym}
+\usepackage[only,bigsqcap]{stmaryrd}
 \usepackage[latin1]{inputenc}
 \usepackage{pdfsetup}
isabelle