]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a549d5d) | patch
- added support for variable interpolation
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 10:07:15 +0000 (10:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 10:07:15 +0000 (10:07 +0000)
commit0027da83c65b1dd0689f8d89b00bb77206dbd654
tree9e1798939c933c6afcdff2ad66d6436fb438d51etree | snapshot
parenta549d5de0305140108e631654af621da1a3637c4commit | diff
- added support for variable interpolation
- switched from Pcre to Str for regexps :-(
helm/ocaml/registry/.ocamlinit diff | blob | history
helm/ocaml/registry/Makefile diff | blob | history
helm/ocaml/registry/helm_registry.ml diff | blob | history
helm/ocaml/registry/helm_registry.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.