summaryrefslogtreecommitdiff
path: root/Jennisys/Jennisys.sln
Commit message (Expand)AuthorAge
* - fixed some bugs with applying unification over list elementsGravatar Unknown2011-07-06
* - implemented reading models from a BVD model fileGravatar Unknown2011-06-24
* Jennisys: Parse and printGravatar Rustan Leino2011-04-07