Viewing all changes in revision 676.

Committer: Tarmac
Author(s): Jiri Srba
Date: 2012-03-03 23:30:44 UTC
mfrom: <a title="Merged From 675.1.1" href="/~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer/revision/675.1.1">(675.1.1 tapaal)
Revision ID: tarmac-20120303233044-8njirljfxqvu39sr

Fixes bug #944740. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

added added

removed removed