]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14aa468) | patch
Splitted gpts in two files.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Mar 2010 11:51:01 +0000 (11:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Mar 2010 11:51:01 +0000 (11:51 +0000)
commit34a5ef53f3ad2771cb45f90a2da6713bccdf3608
tree19bbda677c60639f7196b7432a4f5d4a10b79694tree | snapshot
parent14aa468ded0030440dbc9cc8fb5b936d927bb6fdcommit | diff
Splitted gpts in two files.
helm/software/matita/nlibrary/PTS/gpts.ma diff | blob | history
helm/software/matita/nlibrary/PTS/subst.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.