|
From: | David Mentré |
Subject: | [Demexp-cvs] some clarifications in doc. Rewriting of is_terminal_delegate. Commit before the Big Changes(tm) |
Date: | Sat, 18 Oct 2003 06:54:57 -0400 |
Commit from dmentre (2003-10-18 06:54 EDT) ------------------- some clarifications in doc. Rewriting of is_terminal_delegate. Commit before the Big Changes(tm) demexp srv/delegation.ml.nw 1.13 demexp srv/posbase.ml.nw 1.12 demexp srv/work.ml.nw 1.17
[Prev in Thread] | Current Thread | [Next in Thread] |