Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

remove $Id markers

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
commit 3e9a3ad147cf42155a6581b0de077d61a8d4776b 1 parent ec52bae
Damien Doligez authored
View
2  otherlibs/num/arith_flags.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
let error_when_null_denominator_flag = ref true;;
let normalize_ratio_flag = ref false;;
View
2  otherlibs/num/arith_flags.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
val error_when_null_denominator_flag : bool ref
val normalize_ratio_flag : bool ref
val normalize_ratio_when_printing_flag : bool ref
View
2  otherlibs/num/arith_status.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
open Arith_flags;;
let get_error_when_null_denominator () =
View
2  otherlibs/num/arith_status.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(** Flags that control rational arithmetic. *)
val arith_status: unit -> unit
View
2  otherlibs/num/big_int.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
open Int_misc
open Nat
View
2  otherlibs/num/big_int.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(** Operations on arbitrary-precision integers.
Big integers (type [big_int]) are signed integers of arbitrary size.
View
2  otherlibs/num/int_misc.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(* Some extra operations on integers *)
let rec gcd_int i1 i2 =
View
2  otherlibs/num/int_misc.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(* Some extra operations on integers *)
val gcd_int: int -> int -> int
View
2  otherlibs/num/nat.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
open Int_misc
type nat;;
View
2  otherlibs/num/nat.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(* Module [Nat]: operations on natural numbers *)
type nat
View
2  otherlibs/num/num.ml
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
open Int_misc
open Nat
open Big_int
View
2  otherlibs/num/num.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(** Operation on arbitrary-precision numbers.
Numbers (type [num]) are arbitrary-precision rational numbers,
View
2  otherlibs/num/ratio.mli
@@ -11,8 +11,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(** Operation on rational numbers.
This module is used to support the implementation of {!Num} and
Please sign in to comment.
Something went wrong with that request. Please try again.