[Demexp-cvs] some clarifications in doc. Rewriting of is_terminal

demexp-cvs

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-cvs] some clarifications in doc. Rewriting of is_terminal_delega

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]

[Demexp-cvs] some clarifications in doc. Rewriting of is_terminal_delegate. Commit before the Big Changes(tm), David Mentré <=

Prev by Date: [Demexp-cvs] When adding a new Participant, if its name starts with 'delegate_' then he is a delegate (tested). We now check on a new delegation that the delegate and the delegated domain both exist (tested).
Next by Date: [Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors.
Previous by thread: [Demexp-cvs] When adding a new Participant, if its name starts with 'delegate_' then he is a delegate (tested). We now check on a new delegation that the delegate and the delegated domain both exist (tested).
Next by thread: [Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors.
Index(es):
- Date
- Thread