Markus Mottl avatar Markus Mottl committed 8dd2124

Removed old CVS id lines

Comments (0)

Files changed (11)

lib/display_hasse_impl.ml

    Foundation, Inc., 59 Temple Place --- Suite 330, Boston, MA 02111-1307, USA.
 *)
 
-(* $Id: display_hasse_impl.ml,v 1.6 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Display_hasse_intf
 open Pomap_intf
 open Format

lib/display_hasse_impl.mli

    Foundation, Inc., 59 Temple Place --- Suite 330, Boston, MA 02111-1307, USA.
 *)
 
-(* $Id: display_hasse_impl.mli,v 1.8 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Display_hasse_intf
 open Pomap_intf
 

lib/display_hasse_intf.mli

    Foundation, Inc., 59 Temple Place --- Suite 330, Boston, MA 02111-1307, USA.
 *)
 
-(* $Id: display_hasse_intf.mli,v 1.8 2006/01/17 00:39:09 mottl Exp $ *)
-
 (** Default specification for drawing with the DOT-utility. *)
 module type DEFAULT_SPEC = sig
   (** DOT-options (see "man dot") *)

lib/pomap_impl.ml

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: pomap_impl.ml,v 1.41 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Pomap_intf
 
 module Make (PO : PARTIAL_ORDER) = struct

lib/pomap_impl.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: pomap_impl.mli,v 1.6 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Pomap_intf
 
 (** Implementation of partially ordered maps *)

lib/pomap_intf.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: pomap_intf.mli,v 1.30 2006/01/17 00:39:09 mottl Exp $ *)
-
 (** Specification of a partial order relation *)
 module type PARTIAL_ORDER = sig
   type el (** Element type *)
  * (enclosed in the file LGPL).
  *)
 
-(* $Id: ptset.ml,v 1.2 2004/04/18 22:05:26 mottl Exp $ *)
-
 (*s Sets of integers implemented as Patricia trees, following Chris
     Okasaki and Andrew Gill's paper {\em Fast Mergeable Integer Maps}
     ({\tt\small http://www.cs.columbia.edu/\~{}cdo/papers.html\#ml98maps}).
  * (enclosed in the file LGPL).
  *)
 
-(* $Id: ptset.mli,v 1.2 2004/04/18 22:05:26 mottl Exp $ *)
-
 (*s Sets of integers implemented as Patricia trees.  The following
     signature is exactly [Set.S with type elt = int], with the same
     specifications. This is a purely functional data-structure. The

lib/store_impl.ml

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: store_impl.ml,v 1.16 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Store_intf
 
 module IntIx = struct

lib/store_impl.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: store_impl.mli,v 1.5 2006/01/17 00:39:09 mottl Exp $ *)
-
 open Store_intf
 
 (** Implementation of stores *)

lib/store_intf.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: store_intf.mli,v 1.16 2006/01/17 00:39:09 mottl Exp $ *)
-
 (** Specification of indices used to index elements in stores *)
 module type INDEX = sig
   type t (** Type of indices *)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.