Project

General

Profile

« Previous | Next » 

Revision 6054c1ec

ID6054c1ecf2c0a1093ea71bbe600b0566b82c1d31
Parent a2b07f24
Child af2f4755

Added by Hans-Peter Deifel over 2 years ago

Enable new focus tracking by default

- In the future this should only happen if the formula is not
alternation free, but aconjunctive (or via a cli-switch)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences