Commit 1753ab43 authored by MARCHE Claude's avatar MARCHE Claude

ce serait peut etre pas plus mal que j'apprenne a merger mes commits

parent 2cfa1e3d
......@@ -445,8 +445,8 @@ install_local: bin/why3config
ifeq (@enable_ide@,yes)
# IDE_FILES = xml session gconfig db gmain
IDE_FILES = xml session gconfig newmain
IDE_FILES = xml session gconfig db gmain
# IDE_FILES = xml session gconfig newmain
IDEMODULES = $(addprefix src/ide/, $(IDE_FILES))
......
......@@ -16,7 +16,7 @@ theory TestInt
use import int.Int
goal Test1: 2+2 =
goal Test1: 2+2 = 4
goal Test2: forall x:int. x*x >= 0
......
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