]>
matita.cs.unibo.it Git - helm.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Claudio Sacerdoti Coen [Wed, 8 Nov 2000 09:23:29 +0000 (09:23 +0000)]
isterix updated
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 18:54:06 +0000 (18:54 +0000)]
Test finished, but some bugs still remaining
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 13:28:40 +0000 (13:28 +0000)]
Fixing repository
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 13:09:39 +0000 (13:09 +0000)]
REpository fixing.
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 13:06:54 +0000 (13:06 +0000)]
Repository fixing
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 13:03:22 +0000 (13:03 +0000)]
Fixing repository
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 12:59:40 +0000 (12:59 +0000)]
Fixing the repository
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 12:54:26 +0000 (12:54 +0000)]
Test improved.
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 11:07:25 +0000 (11:07 +0000)]
Test almost finished. Some bugs found.
Claudio Sacerdoti Coen [Tue, 7 Nov 2000 09:56:56 +0000 (09:56 +0000)]
Start of test phase
Claudio Sacerdoti Coen [Mon, 6 Nov 2000 18:42:59 +0000 (18:42 +0000)]
First release. All implemented but the PostScript output. Nothing tested
Claudio Sacerdoti Coen [Mon, 6 Nov 2000 14:14:12 +0000 (14:14 +0000)]
Initial revision
Claudio Sacerdoti Coen [Mon, 6 Nov 2000 14:02:43 +0000 (14:02 +0000)]
Initial revision
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