... | ... | @@ -25,5 +25,5 @@ For now, please see https://gitlab.nps.edu/monterey-phoenix/user-interfaces/gryp |
|
|
# Using Docker
|
|
|
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in Docker without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
|
|
|
|
|
|
# Gryphon Server and Preloaded Examples
|
|
|
The installation process no longer requires configuration for the Gryphon server and preloaded examples; the Gryphon server is now automatically selected and preloaded examples are bundled with the Windows and Mac MP-Gryphon executable apps. |
|
|
\ No newline at end of file |
|
|
# Changes in MP Gryphon v1.2.2
|
|
|
The installation process no longer requires configuration for the Gryphon server and preloaded examples. The Gryphon server is now automatically selected. Preloaded examples are bundled with the Windows and Mac MP-Gryphon executable apps. |
|
|
\ No newline at end of file |