Markus Mottl avatar Markus Mottl committed ea2ece4

Removed old CVS id lines

Comments (0)

Files changed (4)

lib/nopres_intf.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: nopres_intf.mli,v 1.18 2005/11/07 20:25:28 mottl Exp $ *)
-
 (** Interfaces to unparameterized resizable arrays and buffers *)
 
 (** Interface to unparameterized resizable arrays *)

lib/pres_intf.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: pres_intf.mli,v 1.17 2005/11/07 20:25:28 mottl Exp $ *)
-
 (** Interface to parameterized resizable arrays *)
 module type T = sig
   (** {6 Signatures and types} *)
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: strat.mli,v 1.6 2005/11/07 20:25:28 mottl Exp $ *)
-
 (** Interface to strategies *)
 module type T = sig
   type t (** The abstract type of strategies. *)

lib/weak_intf.mli

    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-(* $Id: weak_intf.mli,v 1.11 2005/11/07 20:25:28 mottl Exp $ *)
-
 (** Interface to weak resizable arrays *)
 module type T = sig
   (** {6 Signatures and types} *)
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.