matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7d1c9a2) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 10 Jun 2005 17:57:50 +0000 (17:57 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 10 Jun 2005 17:57:50 +0000 (17:57 +0000)
commit	2d0ac77ede559409856f1b2f2fa85a27194b0ecf
tree	c052fc460e47c9e75784d857082dccee8e25f27e	tree \| snapshot
parent	7d1c9a278b160a9f6ab5fc6fec98d5e8e78e465e	commit \| diff

snapshort
- bound (hidden) function for creation of language from file
- bound find_matching_bracket
- changed license to LGPL

Unnamed repository; edit this file 'description' to name the repository.