# HG changeset patch
# User wenzelm
# Date 969313391 -7200
# Node ID f79ce04d0b94f9746b945fb30bba8321ac71bc7a
# Parent  1b8b8ddedea76f970e0a88739735f035ecb4ae4f
added plain "tt" style;

diff -r 1b8b8ddedea7 -r f79ce04d0b94 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Sep 18 21:29:49 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Mon Sep 18 23:43:11 2000 +0200
@@ -91,11 +91,15 @@
 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
 
 
-% alternative styles -- default is "tt"
+% alternative styles
 
 \newcommand{\isabellestyle}{}
 \def\isabellestyle#1{\csname isabellestyle#1\endcsname}
 
+\newcommand{\isabellestylett}{%
+\renewcommand{\isastyle}{\small\tt}%
+\renewcommand{\isastyleminor}{\tt}%
+}
 \newcommand{\isabellestyleit}{%
 \renewcommand{\isastyle}{\small\it}%
 \renewcommand{\isastyleminor}{\it}%