]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb74956) | patch
the refactoring continues ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 12:13:49 +0000 (12:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 12:13:49 +0000 (12:13 +0000)
commitbb2a0b22a2c38b59ca664b550f34e5e40e6f04c7
tree56e8a9eec104f161b1b29c21f5e2e725c0477f49tree | snapshot
parentfb74956a335a9cc38a6ced92e16256f10c4eed6ecommit | diff
the refactoring continues ...
14 files changed:
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/src/basic_rg/brgOutput.ml diff | blob | history
helm/software/lambda-delta/src/basic_rg/brgOutput.mli diff | blob | history
helm/software/lambda-delta/src/common/Make diff | blob | history
helm/software/lambda-delta/src/toplevel/top.ml diff | blob | history
helm/software/lambda-delta/src/xml/Make [new file with mode: 0644] blob
helm/software/lambda-delta/src/xml/XmlCrg.ml [deleted file] blob | history
helm/software/lambda-delta/src/xml/XmlCrg.mli [deleted file] blob | history
helm/software/lambda-delta/src/xml/XmlLibrary.ml [deleted file] blob | history
helm/software/lambda-delta/src/xml/XmlLibrary.mli [deleted file] blob | history
helm/software/lambda-delta/src/xml/xmlCrg.ml [new file with mode: 0644] blob
helm/software/lambda-delta/src/xml/xmlCrg.mli [new file with mode: 0644] blob
helm/software/lambda-delta/src/xml/xmlLibrary.ml [new file with mode: 0644] blob
helm/software/lambda-delta/src/xml/xmlLibrary.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.