]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 630fe1c) | patch
MathQL textual lexer patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Dec 2002 12:39:01 +0000 (12:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Dec 2002 12:39:01 +0000 (12:39 +0000)
commitca1b7e40c0cce4caba1db40dd18a4ec671c0e59e
treeec9b6d6fad295443321e9f392df2d960ca297aabtree | snapshot
parent630fe1c8b95a138aa1701b4936085cbd01a13d9bcommit | diff
MathQL textual lexer patched
topLevel patched for compilation: -B and -MB don't work
helm/gTopLevel/topLevel/topLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.