]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71adb7c) | patch
uses ligatures (as a sample)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Sep 2005 14:39:50 +0000 (14:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Sep 2005 14:39:50 +0000 (14:39 +0000)
commit9adc60caf3223c659d8b64228e90c25cc8d76530
tree19255a5d4480f481008a95dfef4388ac853e4346tree | snapshot
parent71adb7c2f7f84e6bfe523cf066a65cc14cc9217bcommit | diff
uses ligatures (as a sample)
helm/matita/library/list/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.