Commit ab545f4a authored by gerd's avatar gerd

SVN fixups.


git-svn-id: https://godirepo.camlcity.org/svn/lib-xstr/[email protected] e4cd5726-45db-0310-8eb3-84e3bb775810
parent c8efd4b9
(* $Id: xstr_match.ml,v 1.9 2002/07/07 11:27:16 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
* String matching
*)
......@@ -667,45 +667,3 @@ let mknegset s =
;;
(* ======================================================================
* History:
*
* $Log: xstr_match.ml,v $
* Revision 1.9 2002/07/07 11:27:16 gerd
* Fixed Xstr_match.mkset
*
* Revision 1.8 2000/09/23 13:43:22 gerd
* Bugfix in replace_matched_substrings.
*
* Revision 1.7 1999/07/08 02:41:10 gerd
* Bugfix in 'Record' matching: the variable was not reset to
* its old values in the case the matching fails.
*
* Revision 1.6 1999/07/06 21:29:33 gerd
* Optimizations in the 'replace_matched_substrings' function.
*
* Revision 1.5 1999/07/06 00:47:53 gerd
* Added optimization 'first_character'.
* Now 'run' raises an exception in the case of a success, and
* otherwise returns () - the exact opposite as before.
* Many more optimizations for 'match_string'.
*
* Revision 1.4 1999/07/05 22:34:57 gerd
* match_string: simplifications; now much more tail recursions.
*
* Revision 1.3 1999/07/05 21:42:46 gerd
* Bugfix: When Record(_,_) records in a loop, the state of the
* variable was not cleared after every cycle. This is done now.
*
* Revision 1.2 1999/07/04 20:02:07 gerd
* Added Lazystring, Lazystring_from.
* Added replace_matched_substring function.
* Changed the structure of 'variable'. 'sref' is either an arbitrary
* string, or it is the input string of the matching function. 'from' and
* 'len' are always used.
*
* Revision 1.1 1999/06/27 23:03:37 gerd
* Initial revision.
*
*
*)
(* $Id: xstr_match.mli,v 1.2 1999/07/04 20:02:08 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
* Matching strings
*)
......@@ -229,19 +229,3 @@ val mknegset : string -> charset
*)
(* ======================================================================
* History:
*
* $Log: xstr_match.mli,v $
* Revision 1.2 1999/07/04 20:02:08 gerd
* Added Lazystring, Lazystring_from.
* Added replace_matched_substring function.
* Changed the structure of 'variable'. 'sref' is either an arbitrary
* string, or it is the input string of the matching function. 'from' and
* 'len' are always used.
*
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
(* $Id: xstr_search.ml,v 1.1 1999/06/27 23:03:38 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
* Search & Replace
*)
......@@ -192,12 +192,3 @@ let replace_substring s substrlist rule =
;;
(* ======================================================================
* History:
*
* $Log: xstr_search.ml,v $
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
(* $Id: xstr_search.mli,v 1.1 1999/06/27 23:03:38 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
* Search & Replace
*)
......@@ -114,12 +114,3 @@ val replace_substring : string -> string list -> (string -> int -> string)
*)
(* ======================================================================
* History:
*
* $Log: xstr_search.mli,v $
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
(* $Id: xstr_split.ml,v 1.2 1999/07/06 21:32:09 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
*
*)
......@@ -175,18 +175,3 @@ let split_string ignoreset ignoreleft ignoreright separators (* s *) =
(* ======================================================================
* History:
*
* $Log: xstr_split.ml,v $
* Revision 1.2 1999/07/06 21:32:09 gerd
* Tried to optimize the function; but currently without success.
* There should be deeper analysis -- on the other hand, splitting seems
* to be relative fast compared with the Str splitting function.
* Perhaps the improvements have an effect on machines with bigger caches.
*
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
(* $Id: xstr_split.mli,v 1.2 1999/07/04 20:02:20 gerd Exp $
(* $Id$
* ----------------------------------------------------------------------
* Split strings into words
*)
......@@ -50,15 +50,3 @@ val split_string :
*)
(* ======================================================================
* History:
*
* $Log: xstr_split.mli,v $
* Revision 1.2 1999/07/04 20:02:20 gerd
* Improved the comments.
*
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment