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.
use wasysym for \<hole>;
authorwenzelm
Wed, 15 Apr 2015 15:57:58 +0200
changeset 60078 019347f8dc88
parent 60077 55cb9462e602
child 60080 2cd500d08c30
child 60081 9fb7b44e3e7e
use wasysym for \<hole>;
src/HOL/Library/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/ex/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/document/root.tex	Wed Apr 15 15:27:45 2015 +0200
+++ b/src/HOL/Library/document/root.tex	Wed Apr 15 15:57:58 2015 +0200
@@ -2,7 +2,7 @@
 \usepackage{ifthen}
 \usepackage[utf8]{inputenc}
 \usepackage[english]{babel}
-\usepackage{isabelle,isabellesym,amssymb,stmaryrd,textcomp}
+\usepackage{isabelle,isabellesym,amssymb,stmaryrd,textcomp,wasysym}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
--- a/src/HOL/ex/document/root.tex	Wed Apr 15 15:27:45 2015 +0200
+++ b/src/HOL/ex/document/root.tex	Wed Apr 15 15:57:58 2015 +0200
@@ -4,6 +4,7 @@
 \usepackage[english]{babel}
 \usepackage{textcomp}
 \usepackage{amssymb}
+\usepackage{wasysym}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
isabelle