]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8cad71) | patch
- uncommented save_to function (now implemented)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 12:43:43 +0000 (12:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 12:43:43 +0000 (12:43 +0000)
commit712f1ea34c4f03e89b017c75f07fda2006d1d817
treebb13cca5c8e4d5031725ae8f98efecb15239cdfdtree | snapshot
parentd8cad71ee81263698800260df69decfadee49e88commit | diff
- uncommented save_to function (now implemented)
- added (tiny) description of the 'variable interpolation' feature
helm/ocaml/registry/helm_registry.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.