Commit 873876f3 authored by MARCHE Claude's avatar MARCHE Claude

Isabelle 2015 support is ready

parent 4e60e99a
* marks an incompatible change
provers
o support for Isabelle 2015 (released May 25, 2015)
Version 0.86.1, May 22, 2015
============================
......
......@@ -1110,6 +1110,9 @@ $(ISABELLEVERSIONSPECIFICTARGETS): $(ISABELLEVERSIONSPECIFICSOURCES)
cp lib/isabelle/$$i.@ISABELLEVERSION@ lib/isabelle/$$i ; \
done
clean::
rm -f $(ISABELLEVERSIONSPECIFICTARGETS)
ISABELLELIBS_INT_FILES = Exponentiation Abs ComputerDivision Div2 EuclideanDivision Int MinMax Power
ISABELLELIBS_INT = $(addsuffix .xml, $(addprefix lib/isabelle/int/, $(ISABELLELIBS_INT_FILES)))
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment