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.
import package that might help on some machines (e.g., macbroy2)
authorblanchet
Sat, 02 Apr 2016 17:02:37 +0200
changeset 62815 d0fc75798baf
parent 62814 29ca4cdd998d
child 62816 19387866eace
import package that might help on some machines (e.g., macbroy2)
src/Doc/Corec/document/root.tex file | annotate | diff | comparison | revisions
src/Doc/Datatypes/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/Corec/document/root.tex	Sat Apr 02 15:40:06 2016 +0200
+++ b/src/Doc/Corec/document/root.tex	Sat Apr 02 17:02:37 2016 +0200
@@ -18,6 +18,7 @@
 \usepackage{railsetup}
 \usepackage{framed}
 \usepackage{regexpatch}
+\usepackage{subscript}
 
 \makeatletter
 \xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%
--- a/src/Doc/Datatypes/document/root.tex	Sat Apr 02 15:40:06 2016 +0200
+++ b/src/Doc/Datatypes/document/root.tex	Sat Apr 02 17:02:37 2016 +0200
@@ -18,6 +18,7 @@
 \usepackage{railsetup}
 \usepackage{framed}
 \usepackage{regexpatch}
+\usepackage{subscript}
 
 \makeatletter
 \xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%
isabelle