]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 326bf3c) | patch
added test script for typechecking URIs given on STDIN
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Oct 2004 12:21:39 +0000 (12:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Oct 2004 12:21:39 +0000 (12:21 +0000)
commit52f95aaf56e9f915b2e049db92a706bdc15c8867
tree5378712e77f6907098c6f1eb997388423751e93atree | snapshot
parent326bf3cd583d1bc422789f5e5c18697290dd2a4ccommit | diff
added test script for typechecking URIs given on STDIN
helm/gTopLevel/Makefile.in diff | blob | history
helm/gTopLevel/typecheck_uri.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.