Commit e532edfe authored by MARCHE Claude's avatar MARCHE Claude

IEEE float in stdlibdoc + a bit of cleaning

parent fe2dcfe7
...@@ -196,6 +196,8 @@ pvsbin/ ...@@ -196,6 +196,8 @@ pvsbin/
/src/util/config.ml /src/util/config.ml
/src/util/lexlib.ml /src/util/lexlib.ml
/src/util/rc.ml /src/util/rc.ml
/src/util/json_parser.mli
/src/util/json_parser.ml
# /src/session # /src/session
/src/session/xml.ml /src/session/xml.ml
...@@ -310,9 +312,13 @@ pvsbin/ ...@@ -310,9 +312,13 @@ pvsbin/
/src/trywhy3/index.html /src/trywhy3/index.html
/src/trywhy3/ace-builds/ /src/trywhy3/ace-builds/
/src/trywhy3/*.png /src/trywhy3/*.png
/src/trywhy3/alt-ergo-1.00-private-2015-01-29 /src/trywhy3/alt-ergo*
/src/trywhy3/fontawesome/ /src/trywhy3/fontawesome/
# IDE
/src/ide/fontawesome
/src/ide/ace-builds
# jessie3 # jessie3
/src/jessie/config.log /src/jessie/config.log
/src/jessie/Makefile /src/jessie/Makefile
......
...@@ -1838,6 +1838,7 @@ STDLIBS = algebra \ ...@@ -1838,6 +1838,7 @@ STDLIBS = algebra \
floating_point \ floating_point \
graph \ graph \
int \ int \
ieee_float \
list \ list \
map \ map \
number \ number \
......
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