]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d79c894) | patch
symbolic links to use the uri manager from ng_kernel
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Nov 2008 21:19:30 +0000 (21:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Nov 2008 21:19:30 +0000 (21:19 +0000)
commit386777d30397b3d87dc88832b57fb897f2e51506
tree53347c13c939cbfc2f0ef512cf7da6342257481etree | snapshot
parentd79c894cab905cd98487192b0e5f1049875b7caacommit | diff
symbolic links to use the uri manager from ng_kernel
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/lib/Make diff | blob | history
helm/software/lambda-delta/lib/nUri.ml [new symlink] blob
helm/software/lambda-delta/lib/nUri.mli [new symlink] blob
Unnamed repository; edit this file 'description' to name the repository.