changed todo
fixed todo list
update ROOT.ML
started moving towards isabelle 2013, json for communication and goaltype instead of wires as in CICM paper
Merge branch 'generic' of github.com:ggrov/psgraph into generic
upload instruction to build isap + quanta + psgraph on the top of pp heap
update type_rtechn by making morphism of rtechn
check in json io for rtechn, but yet to be functional due to type sharing. Aprt from this,  all should be functional.
some comments on json rep added
1) update json structure to make it more readable
2) use functor in type_rtechn
update todo
first version of generic sock (move to isaplib when tested)
minor changes to text socket
added json support to graphs
worked on combinators and a uniform represent of all graph related stuff (to avoid relying on isabelle context)
update type "string" to "StrName.name"
Merge branch 'generic' of github.com:ggrov/psgraph into generic
combinators implemented (test case started)
some work on combinators
check in "class"