]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ec3182) | patch
* first version of the profile manager committed
authorLuca Padovani <luca.padovani@unito.it>
Tue, 21 Oct 2003 08:28:42 +0000 (08:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 21 Oct 2003 08:28:42 +0000 (08:28 +0000)
commitc6b5e85cd64ca985f31685b6ffe7985fc7577bdb
treec6f327ef780f5fade072c8ac91c5570bae111b13tree | snapshot
parent4ec3182ea7865267f5abfc7a6e7334af313e7616commit | diff
* first version of the profile manager committed
helm/DEVEL/profile-manager/Makefile [new file with mode: 0644] blob
helm/DEVEL/profile-manager/control.html [new file with mode: 0644] blob
helm/DEVEL/profile-manager/index.html [new file with mode: 0644] blob
helm/DEVEL/profile-manager/profile-manager.xsl [new file with mode: 0644] blob
helm/DEVEL/profile-manager/profile.ml [new file with mode: 0644] blob
helm/DEVEL/profile-manager/profile_manager.ml [new file with mode: 0644] blob
helm/DEVEL/profile-manager/profile_manager_env.ml [new file with mode: 0644] blob
helm/DEVEL/profile-manager/response.ml [new file with mode: 0644] blob
helm/DEVEL/profile-manager/welcome.html [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.