• Guillaume Melquiond's avatar
    Merge branch 'bugfix/v0.86' · 0c8ad099
    Guillaume Melquiond authored
    Conflicts:
    	CHANGES
    	Version
    	lib/coq/real/Trigonometry.v
    	share/provers-detection-data.conf
    	src/coq-tactic/why3tac.ml4
    	src/transform/compute.ml
    	src/transform/simplify_formula.ml
    0c8ad099
Name
Last commit
Last update
..
.gitignore Loading commit data...
HelloProof-style2.tex Loading commit data...
HelloProof.tex Loading commit data...
api.tex Loading commit data...
bnf.mll Loading commit data...
constant.bnf Loading commit data...
coq.tex Loading commit data...
coq_tactic.tex Loading commit data...
coqide-0-81.png Loading commit data...
exec.tex Loading commit data...
expr.bnf Loading commit data...
expr2.bnf Loading commit data...
fix.hva Loading commit data...
formula.bnf Loading commit data...
glossary.tex Loading commit data...
gui-0-70-1.png Loading commit data...
gui-0-70-2.png Loading commit data...
gui-0-70-3.png Loading commit data...
gui-0-70-4.png Loading commit data...
gui-0-70-5.png Loading commit data...
gui1.png Loading commit data...
gui2.png Loading commit data...
gui3.png Loading commit data...
gui4.png Loading commit data...
gui5.png Loading commit data...
hello_proof.png Loading commit data...
ide.tex Loading commit data...
install.tex Loading commit data...
intro.tex Loading commit data...
isabelle.tex Loading commit data...
itp.tex Loading commit data...
label.bnf Loading commit data...
language.tex Loading commit data...
library.tex Loading commit data...
macros.tex Loading commit data...
manpages.tex Loading commit data...
manual.bib Loading commit data...
manual.tex Loading commit data...
module.bnf Loading commit data...
operator.bnf Loading commit data...
pvs.tex Loading commit data...
qualid.bnf Loading commit data...
replayer_macros.tex Loading commit data...
spec.bnf Loading commit data...
starting.tex Loading commit data...
syntax.tex Loading commit data...
syntaxref.tex Loading commit data...
technical.tex Loading commit data...
term.bnf Loading commit data...
term_old_at.bnf Loading commit data...
theory.bnf Loading commit data...
theory2.bnf Loading commit data...
type.bnf Loading commit data...
version.tex.in Loading commit data...
why.1 Loading commit data...
why_file.bnf Loading commit data...
whyml.tex Loading commit data...
whyml_file.bnf Loading commit data...