]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49ef13c) | patch
test for empty string given, if so return Environment.empty without invoking the...
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Jan 2004 12:32:25 +0000 (12:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Jan 2004 12:32:25 +0000 (12:32 +0000)
commit4831d31010f88f277a41ad32cb2c58d3f705820f
treef7bfdf28a025ddfd9b172bc05550769476f96c2ftree | snapshot
parent49ef13c7e0cdfd52a8e3b0678f4fdbf3cb93901fcommit | diff
test for empty string given, if so return Environment.empty without invoking the parser
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.