Up
–
Package index
»
dedukti
»
Sources
» dedukti.kernel » version.ml
Source file
version.ml
dedukti
CHANGELOG
README
Library
dedukti.api
Api
Library
dedukti.kernel
Kernel
Library
dedukti.parsers
Parsers
Sources
dedukti.api
api.ml
dep.ml
env.ml
errors.ml
files.ml
meta.ml
pp.ml
processor.ml
dedukti.kernel
ac.ml
basic.ml
confluence.ml
dtree.ml
exsubst.ml
kernel.ml
matching.ml
reduction.ml
rule.ml
signature.ml
srcheck.ml
subst.ml
term.ml
typing.ml
version.ml
dedukti.parsers
entry.ml
lexer.ml
menhir_parser.ml
parser.ml
parsers.ml
preterm.ml
scoping.ml
tokens.ml
1
let
version
=
"2.7"