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.
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
authorwenzelm
Tue, 09 Mar 2021 20:00:44 +0100
changeset 73403 e19cb4c11409
parent 73402 7eecb5231f61
child 73404 299f6a8faccc
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
src/Doc/Isar_Ref/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/Isar_Ref/document/root.tex	Tue Mar 09 18:52:24 2021 +0100
+++ b/src/Doc/Isar_Ref/document/root.tex	Tue Mar 09 20:00:44 2021 +0100
@@ -1,5 +1,6 @@
 \documentclass[12pt,a4paper,fleqn]{report}
 \usepackage[T1]{fontenc}
+\usepackage{textcomp}
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage{wasysym}
isabelle