]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bafecec) | patch
sample aliases language
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 08:47:53 +0000 (08:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 08:47:53 +0000 (08:47 +0000)
commit94b2f36a9461f5ec6e0c6a048c96eec333e82b65
treedcb9871e1e7995647bcd485b40a813dd9998d8dctree | snapshot
parentbafecec2d4af08af32249b4ec75db477a6024c7bcommit | diff
sample aliases language
helm/ocaml/cic_disambiguation/tests/aliases.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.