Commit 60192013 authored by Francois-Rene Rideau's avatar Francois-Rene Rideau
Browse files

Documentation fixes from Robert Goldman:

* Fix URL for Kent Pitman paper (thanks to Nuntius)
* Specify defsystem grammar entry for method-form
parent 56589b52
......@@ -477,6 +477,9 @@ required-op := operation-name | feature
simple-component-name := string
| symbol
method-form := (operation-name qual lambda-list &rest body)
qual := method qualifier
@end verbatim
@subsection Serial dependencies
......@@ -1477,7 +1480,7 @@ whereas this one centres on a protocol for system introspection.
@section kmp's ``The Description of Large Systems'', MIT AI Memu 801
Available in updated-for-CL form on the web at
@url{http://world.std.com/~pitman/Papers/Large-Systems.html}
@url{http://nhplace.com/kent/Papers/Large-Systems.html}
In our implementation we borrow kmp's overall PROCESS-OPTIONS and
concept to deal with creating component trees from defsystem surface
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment