Versions Compared

Old Version 1

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version Current

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

EventML ver0.2, our continuing work in progress, has been updated and posted to the software page on PRL's CRASH site:

http://www.nuprl.org/crash/software.php

Updates includes fixdpoint operator and the ability to turn off the type checker.