# HG changeset patch # User wenzelm # Date 1290811894 -3600 # Node ID ebb0c9657b03e49e9981044da8c8338b41221b5f # Parent aef83e8fa2a426ba96f54460b8ca7bec6c9d87d2 eliminated some generated comments; diff -r aef83e8fa2a4 -r ebb0c9657b03 doc-src/LaTeXsugar/Sugar/document/root.tex --- a/doc-src/LaTeXsugar/Sugar/document/root.tex Fri Nov 26 23:41:23 2010 +0100 +++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Fri Nov 26 23:51:34 2010 +0100 @@ -3,23 +3,7 @@ % further packages required for unusual symbols (see also isabellesym.sty) % use only when needed -\usepackage{amssymb} % for \, \, \, - % \, \, \, - % \, \, \, - % \, \, - % \, \, \ -%\usepackage[greek,english]{babel} % greek for \, - % english for \, - % \ - % default language = last -%\usepackage[latin1]{inputenc} % for \, \, - % \, \, - % \, \, - % \ -%\usepackage[only,bigsqcap]{stmaryrd} % for \ -%\usepackage{eufrak} % for \ ... \, \ ... \ - % (only needed if amssymb not used) -%\usepackage{textcomp} % for \, \ +\usepackage{amssymb} \usepackage{mathpartir} diff -r aef83e8fa2a4 -r ebb0c9657b03 doc-src/Main/main.tex --- a/doc-src/Main/main.tex Fri Nov 26 23:41:23 2010 +0100 +++ b/doc-src/Main/main.tex Fri Nov 26 23:51:34 2010 +0100 @@ -9,31 +9,8 @@ \textheight=234mm \usepackage{../isabelle,../isabellesym} - -% further packages required for unusual symbols (see also -% isabellesym.sty), use only when needed - \usepackage{amssymb} - %for \, \, \, \, \, \, - %\, \, \, \, \, - %\, \, \ - -%\usepackage[greek,english]{babel} - %option greek for \ - %option english (default language) for \, \ - -%\usepackage[latin1]{inputenc} - %for \, \, \, \, - %\, \, \ - \usepackage[only,bigsqcap]{stmaryrd} - %for \ - -%\usepackage{eufrak} - %for \ ... \, \ ... \ (also included in amssymb) - -%\usepackage{textcomp} - %for \, \ % this should be the last package used \usepackage{../pdfsetup} diff -r aef83e8fa2a4 -r ebb0c9657b03 src/HOL/Statespace/document/root.tex --- a/src/HOL/Statespace/document/root.tex Fri Nov 26 23:41:23 2010 +0100 +++ b/src/HOL/Statespace/document/root.tex Fri Nov 26 23:51:34 2010 +0100 @@ -1,31 +1,5 @@ \documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym} - -% further packages required for unusual symbols (see also -% isabellesym.sty), use only when needed - -%\usepackage{amssymb} - %for \, \, \, \, \, \, - %\, \, \, \, \, - %\, \, \ - -%\usepackage[greek,english]{babel} - %option greek for \ - %option english (default language) for \, \ - -%\usepackage[latin1]{inputenc} - %for \, \, \, \, - %\, \, \ - -%\usepackage[only,bigsqcap]{stmaryrd} - %for \ - -%\usepackage{eufrak} - %for \ ... \, \ ... \ (also included in amssymb) - -%\usepackage{textcomp} - %for \, \ - % this should be the last package used \usepackage{pdfsetup}