diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-12 10:21:52 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-12 10:21:52 +0000 |
| commit | b6c9458943aae388225c52b4af61e6958fe2118b (patch) | |
| tree | c7c40269997a17686c516a918a47a61d63b34bd2 /doc | |
| parent | be91eb10bc19383b23636176b284b9c784d2d9e3 (diff) | |
| download | scala-b6c9458943aae388225c52b4af61e6958fe2118b.tar.gz scala-b6c9458943aae388225c52b4af61e6958fe2118b.tar.bz2 scala-b6c9458943aae388225c52b4af61e6958fe2118b.zip | |
- Changed funneldefs to scaladefs
- Added Id
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/reference/examples.verb.tex | 4 | ||||
| -rw-r--r-- | doc/reference/rationale.verb.tex | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/reference/examples.verb.tex b/doc/reference/examples.verb.tex index e08303d972..16af024122 100644 --- a/doc/reference/examples.verb.tex +++ b/doc/reference/examples.verb.tex @@ -1,6 +1,8 @@ +%% $Id$ + \documentclass[11pt]{report} -\usepackage{fleqn,a4wide,vquote,modefs,math,prooftree,funneldefs} +\usepackage{fleqn,a4wide,vquote,modefs,math,prooftree,scaladefs} \newcommand{\exercise}{\paragraph{Exercise:}} \title{Scala By Examples} diff --git a/doc/reference/rationale.verb.tex b/doc/reference/rationale.verb.tex index f302d91b31..371e6efe19 100644 --- a/doc/reference/rationale.verb.tex +++ b/doc/reference/rationale.verb.tex @@ -1,6 +1,8 @@ +%% $Id$ + \documentclass[11pt]{article} -\usepackage{fleqn,a4wide,modefs,math,prooftree,funneldefs,vquote} +\usepackage{fleqn,a4wide,modefs,math,prooftree,scaladefs,vquote} \title{Scala Rationale \\ Why a New programming Language for Web Services?} |