# 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}