matita.cs.unibo.it Git - helm.git/log

]> matita.cs.unibo.it Git - helm.git/log

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 16:40:47 +0000 (16:40 +0000)]

HELM_CONFIGURATION_PREFIX added to OCaml files

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 16:32:04 +0000 (16:32 +0000)]

HELM_CONFIGURATION_PREFIX now used

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 16:06:43 +0000 (16:06 +0000)]

configuration file changed

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 15:47:43 +0000 (15:47 +0000)]

install script added

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 14:41:51 +0000 (14:41 +0000)]

Binary files added to .cvsignore

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 14:37:54 +0000 (14:37 +0000)]

.cvsignore created

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 14:20:30 +0000 (14:20 +0000)]

Initial revision

Claudio Sacerdoti Coen [Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)]

Initial revision

no author [Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)]

New repository initialized by cvs2svn.

Unnamed repository; edit this file 'description' to name the repository.