diff options
Diffstat (limited to 'doc/refman/Program.tex')
| -rw-r--r-- | doc/refman/Program.tex | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/refman/Program.tex b/doc/refman/Program.tex index 3580684a73..dfcebf1860 100644 --- a/doc/refman/Program.tex +++ b/doc/refman/Program.tex @@ -1,7 +1,3 @@ -\def\Program{\textsc{Program}} -\def\Russell{\textsc{Russell}} -\def\PVS{\textsc{PVS}} - \achapter{\Program{}} \label{Program} \aauthor{Matthieu Sozeau} |