]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bcce27) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Tue, 28 May 2002 16:05:50 +0000 (16:05 +0000)
committerIrene Schena <irene.schena@unibo.it>
Tue, 28 May 2002 16:05:50 +0000 (16:05 +0000)
commitb2aca35e823328d93ddc3f76a4c0af60a0c2bde8
treed67085ff9bc2d6c8f719f6c29950b578b335e895tree | snapshot
parent1bcce271566f8b2c2efdeb2283ebf210f6fcc6f1commit | diff
Modified Files:
1) grammar.txt: added SUBSET, SETEQUAL, REFERENCE and rvar in <list>
helm/mathql/grammar.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.