]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/extlib/hExtlib.mli
* New implementation of localized exceptions
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 22:28:21 +0000 (22:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 22:28:21 +0000 (22:28 +0000)
commitbc504bdaca501cd4d33f3240e01855988bc15b79
tree0ca754f1357208053399565a9789fd369c92b5bd
parentc9084482321e613ee4d43ec62c512a0271a36808
* New implementation of localized exceptions
* Localized exceptions moved into the extlib
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationParser.mli
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/grafiteParser.ml
helm/ocaml/cic_notation/test_parser.ml
helm/ocaml/extlib/Makefile
helm/ocaml/extlib/hExtlib.ml
helm/ocaml/extlib/hExtlib.mli