projects
/
h316.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
*** empty log message ***
[h316.git]
/
pc-tools
/
ldc2
/
doc
/
body.tex
diff --git
a/pc-tools/ldc2/doc/body.tex
b/pc-tools/ldc2/doc/body.tex
index e72446c63a4e94b2f3410211db195157affb1e83..83d44028ecc2a29a2eca3dfc51c7fc036655f980 100644
(file)
--- a/
pc-tools/ldc2/doc/body.tex
+++ b/
pc-tools/ldc2/doc/body.tex
@@
-1,11
+1,10
@@
-\newcommand{\pname}{ \emph{LDC2} }
-
+\input defs
\input intro
\newpage
\input req_spec
\newpage
\input impl_spec
\input intro
\newpage
\input req_spec
\newpage
\input impl_spec
-\newpage
+
%
\newpage
\input test_spec
\newpage
\input appendix
\input test_spec
\newpage
\input appendix