[Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors.

demexp-cvs

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

[Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors.

From:	David Mentré
Subject:	[Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors.
Date:	Sat, 18 Oct 2003 10:52:47 -0400

Commit from dmentre (2003-10-18 10:52 EDT)
-------------------

Added Dbitv module: Dynamically resizable Bit Vectors.

  demexp  Makefile                    1.28
+ demexp  srv/dbitv.ml.nw             1.1
  demexp  srv/demexp-server-book.tex  1.26

[Prev in Thread]

Current Thread

[Next in Thread]

[Demexp-cvs] Added Dbitv module: Dynamically resizable Bit Vectors., David Mentré <=

Prev by Date: [Demexp-cvs] some clarifications in doc. Rewriting of is_terminal_delegate. Commit before the Big Changes(tm)
Next by Date: [Demexp-cvs] Update of Classification documentation on internal working (corresponding code does not exists yet). Reorganization of the_classification_base: use records.
Previous by thread: [Demexp-cvs] some clarifications in doc. Rewriting of is_terminal_delegate. Commit before the Big Changes(tm)
Next by thread: [Demexp-cvs] Update of Classification documentation on internal working (corresponding code does not exists yet). Reorganization of the_classification_base: use records.
Index(es):
- Date
- Thread