{% if theme %} {% else %} {% endif %}
uppaal2jetracer
{% if curr_project_name != "" %}
{{ curr_project_name }}
{% else %}
{{ curr_project_name }}
{% endif %}
Change Project
Toggle Theme
{% if debug %}
{% else %}
{% endif %}
Parse
Run
Stop
Clear
Parse & Run
Projects
New Project
Versions (Crossing-Simulation)
Settings
Save