Home My Page Projects Tom
Summary Activity Tracker Lists Tasks Docs News SCM Files Mediawiki

Project Filelist for Tom

File Release Notes and Changelog

Release Name: jtom-1.5

Release Notes
version 1.5:
  - ported jtom to new version of apigen
  - new TomChecker and simpler regression test infrastructure
  - added disjunction of HeadSymbol
  - XML syntax corresponds to implicit notation
  - implicit and explicit XML lists are allowed
  - unamed lists are allowed
  - sort attribute names by alphabetic order
  - new XML parser
  - fix undetected error
  - optimization in matching: do not assign UnamedVariable when
    they are not annotated
  - fix a bug in linearization of annoted variables
  - allow UnamedVariable and UnamedVariableStar in list-matching
  - allow annoted variables in list-matching