lp:juppaal

Created by Thomas Bøgholm and last modified
Get this branch:
bzr branch lp:juppaal
Only Thomas Bøgholm can upload to this branch. If you are Thomas Bøgholm please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Thomas Bøgholm
Project:
JUppaal
Status:
Development

Recent revisions

4. By Thomas Bøgholm (<email address hidden>)

fixed asserts

3. By Thomas Bøgholm (<email address hidden>)

merged

2. By Thomas Bøgholm

added libs dir

1. By Thomas Bøgholm

initial import

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers