Commit f3e13bec authored by nipkow's avatar nipkow
Browse files


parent 35409c478655
chapter AFP
(* There must be one session with the name of the entry.
This session generates the web document and must test all theories.
There may be further sessions but they will not be run by the automatic
regression tests.
This session generates the web document.
There may be further sessions.
All sessions should be in group (AFP) - otherwise they are not
run upon submission and by the later automatic regression tests.
Every theory should be included in at least one of the sessions.
(* Session name, add to AFP group, list base session: *)
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