~pyuppaal-developers/pyuppaal/modelchecker

Viewing all changes in revision 90.

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2010-01-02 21:32:43 UTC
  • Revision ID: kyrke@elia-20100102213243-qfj8hjdjx2r494ei
Updated readme with latest install instructions

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: