]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f00a76) | patch
added char functions:
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:32:33 +0000 (09:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:32:33 +0000 (09:32 +0000)
commit7cf9117b7c5f6c322c8b02044f4548fae13d0653
treefa1390ef1d17814d0a4c81c41aab0fab59c431d2tree | snapshot
parent4f00a766afd24d51314badcab74cea2ccf623e28commit | diff
added char functions:
- is_alpha, is_digit, is_alphanum
added string function:
- tilde_expand
helm/ocaml/extlib/hExtlib.ml diff | blob | history
helm/ocaml/extlib/hExtlib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.