Unified the formatting and added rail road diagrams

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org

https://docs.uppaal.org

1 stars 13 forks source link

Closed mikucionisaau closed 1 year ago

mikucionisaau commented 1 year ago

[x] reformatted most of the example code to be consistent
[x] added rail road diagrams for syntax (grammar.txt contains the massaged syntax)
[x] fixed some spelling issues and other minor updates

mikucionisaau commented 1 year ago

@thorulf4 it would be nice you tried some of the examples, ControlQuery with Subjection in particular.