Up
–
Package index
»
why3find
»
Sources
» why3find » version.ml
Source file
version.ml
why3find
CHANGES
LICENSE
README
Library
why3find
Why3find
Library
why3find.utils
Why3findUtils
Sources
why3find
Global.ml
cache.ml
config.ml
crc.ml
dump.ml
id.ml
meta.ml
project.ml
proofs.ml
prover.ml
result.ml
session.ml
tactic.ml
vc.ml
version.ml
why3find.ml
wutil.ml
why3find.utils
dap.ml
darray.ml
dict.ml
fibers.ml
json.ml
log.ml
lsp.ml
range.ml
rangemap.ml
ropes.ml
rpc.ml
stats.ml
timer.ml
utils.ml
why3findUtils.ml
let
version
=
"1.3.0"