Commit 36bd3251 authored by Michael Hanus 's avatar Michael Hanus
Browse files

libs updated

parent 0673537f
PAKCS: Release Notes
====================
Release notes for PAKCS Version 1.14.0 (November 10, 2015)
Release notes for PAKCS Version 1.14.0 (November 27, 2015)
----------------------------------------------------------
Changes to version 1.13.0:
......@@ -73,6 +73,8 @@ Changes to version 1.13.0:
import FlatCurry.FlexRigid
* New libraries added: ErrorState, SCC, Rewriting.*,
FlatCurry.Annotated.TypeInference
Release notes for PAKCS Version 1.13.1 (October 2, 2015)
......
......@@ -402,6 +402,7 @@ following term:
\input{lib/Distribution}
\input{lib/Dynamic}
\input{lib/Either}
\input{lib/ErrorState}
\input{lib/FileGoodies}
\input{lib/FilePath}
\input{lib/Findall}
......@@ -447,10 +448,15 @@ following term:
\input{lib/GraphInductive}
\input{lib/Random}
\input{lib/RedBlackTree}
\input{lib/SCC}
\input{lib/SetRBT}
\input{lib/Sort}
\input{lib/TableRBT}
\input{lib/Traversal}
\input{lib/Rewriting.Term}
\input{lib/Rewriting.Substitution}
\input{lib/Rewriting.Unification}
\input{lib/Rewriting.UnificationSpec}
\subsection{Libraries for Web Applications}
......@@ -485,6 +491,8 @@ following term:
\input{lib/FlatCurry.Annotated.Types}
\input{lib/FlatCurry.Annotated.Pretty}
\input{lib/FlatCurry.Annotated.Goodies}
\input{lib/FlatCurry.Annotated.TypeSubst}
\input{lib/FlatCurry.Annotated.TypeInference}
\input{lib/CurryStringClassifier}
} % end setlength parindent
......
lib-trunk @ 0e1453da
Subproject commit f4746050d63049fe633d4fa1c84cf8cd070178da
Subproject commit 0e1453dafb7584b67b8564c7c992206615879fd0
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