search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

AGREE Simulator User Guide not in FMW Help #33

Closed jendavis closed 3 years ago

jendavis commented 4 years ago

The AGREE Simulator User Guide (https://github.com/loonwerks/AGREE/blob/master/edu.uah.rsesc.aadlsimulator.doc/user_guide/user_guide.md) is not in the FMW Help menu.

jendavis commented 3 years ago

This has been resolved.