Versions Compared

Old Version 23

changes.mady.by.user Ry Jones

Saved on

compared with

New Version Current

changes.mady.by.user Sean W. Bohan

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • |State-of-union of Aries projects
  • |decorator for redirection after proofs. - existing?

...