Commit c32afe17 authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 245f221a
......@@ -16,6 +16,7 @@
"html" : ">= 2.0.0",
"printf" : ">= 0.0.1",
"regexp" : ">= 1.1.0",
"searchtree" : ">= 0.0.1",
"setfunctions" : ">= 0.0.1",
"wl-pprint" : ">= 0.0.1",
"xml" : ">= 2.0.0",
......
......@@ -16,6 +16,7 @@
"html" : ">= 2.0.0",
"printf" : ">= 0.0.1",
"regexp" : ">= 1.1.0",
"searchtree" : ">= 0.0.1",
"setfunctions" : ">= 0.0.1",
"wl-pprint" : ">= 0.0.1",
"xml" : ">= 2.0.0",
......
......@@ -31,7 +31,8 @@ module FormatParser ( parse ) where
import Parser
import Char
import ReadNumeric
import AllSolutions
import Control.AllSolutions ( getOneSolution )
import ParseTypes
......
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