Commit 27be6f11 authored by Michael Hanus 's avatar Michael Hanus
Browse files

tools and libs updated

parent 67e62106
PAKCS: Release Notes
====================
Release notes for PAKCS Version 1.14.0 (October 24, 2015)
Release notes for PAKCS Version 1.14.0 (October 25, 2015)
---------------------------------------------------------
Changes to version 1.13.0:
......@@ -53,7 +53,7 @@ Changes to version 1.13.0:
- replace `import AnnotatedFlatGoodies` by
import FlatCurry.Annotated.Select
import FlatCurry.Annotated.Goodies
- replace `import AnnotatedFlatCurryPretty` by
......
currytools @ c02a4e7b
Subproject commit adcc2ed63566d18b6b7177ddb75209927caff0fd
Subproject commit c02a4e7b67af5acc3ab18fef351eaa4f3982d53b
lib-trunk @ 5d54dc8f
Subproject commit 5899f4955935dde8c0fc9408049959ada8e89d39
Subproject commit 5d54dc8f48033063d05ecc104db9a676a7ff0319
......@@ -9,8 +9,9 @@
import List(intersperse)
import System
import FlatCurry
import CompactFlatCurry
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Compact
-- Check arguments and call main function:
main = do
......
......@@ -8,8 +8,9 @@
--- @version January 2006
------------------------------------------------------------------------
import FlatCurry
import FlatCurryRead
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Read
import Linearity
import Dependency
import FileGoodies
......
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