]>
matita.cs.unibo.it Git - helm.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Claudio Sacerdoti Coen [Fri, 3 Nov 2000 16:32:22 +0000 (16:32 +0000)]
Temporary patch for threads and and_ind, or_ind, ...
Claudio Sacerdoti Coen [Fri, 3 Nov 2000 12:19:43 +0000 (12:19 +0000)]
The interface sorts the entryes in the trees
Claudio Sacerdoti Coen [Fri, 3 Nov 2000 12:13:27 +0000 (12:13 +0000)]
Set notation now working again
Claudio Sacerdoti Coen [Fri, 3 Nov 2000 09:20:12 +0000 (09:20 +0000)]
FIX body bug fixed
Claudio Sacerdoti Coen [Tue, 31 Oct 2000 17:46:04 +0000 (17:46 +0000)]
Minor modification
Claudio Sacerdoti Coen [Tue, 31 Oct 2000 17:25:23 +0000 (17:25 +0000)]
Added style before natural language synthesis
Claudio Sacerdoti Coen [Tue, 31 Oct 2000 17:17:10 +0000 (17:17 +0000)]
Initial revision
Claudio Sacerdoti Coen [Tue, 31 Oct 2000 16:44:59 +0000 (16:44 +0000)]
Unuseful file removed
Claudio Sacerdoti Coen [Tue, 31 Oct 2000 16:43:47 +0000 (16:43 +0000)]
Patch to the hard-coded constant in http_getter.pl
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.
projects / helm.git / log