Changeset 240

Timestamp:
Jun 22, 2016, 3:44:12 PM (8 years ago)
Author:
krafczy
Message:
  • Consider constant values in CSTNegater
  • Disable (probably broken) CSTExpander in MaxTermConverter?
(No files)

Note: See TracChangeset for help on using the changeset viewer.