]> matita.cs.unibo.it Git - helm.git/commit
Attribute patched: now takes an extra argument of type bool.
authornatile <??>
Wed, 13 Nov 2002 18:55:57 +0000 (18:55 +0000)
committernatile <??>
Wed, 13 Nov 2002 18:55:57 +0000 (18:55 +0000)
commit462c5332981ba07d1a8102d3403d1a0b920fba98
tree9609f30c3f617ba259554633f1828a242b4a11e6
parentdba1254305072dde7df27390a5f554fb402ceced
Attribute patched: now takes an extra argument of type bool.
helm/ocaml/mathql/mathQL.ml