# HG changeset patch # User wenzelm # Date 1615316444 -3600 # Node ID e19cb4c114093633a08ddde7325afe836012b410 # Parent 7eecb5231f612ae969bd4f6484ddf72e3c956b5a provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04; diff -r 7eecb5231f61 -r e19cb4c11409 src/Doc/Isar_Ref/document/root.tex --- 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}