You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 52ff6bad3e

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '52ff6bad3e'

${ noResults }

prism-accumulation/prism-examples/self-stabilisation

History

hentom 52ff6bad3e Change the default location of the configuration file. The location of the PRISM configuration file is now OS-dependent. On UNIX-like systems, following the XDG base directory specification, it is prism.settings in ~/.config (or in $XDG_CONFIG_HOME if that overrides it). On OS X, it is prism.settings in ~/Library/Preferences. On anything else it remains in ~/.prism. If an existing configuration file exists in ~/.prism, that file is still used regardless of the OS. Closes #38.		9 years ago
..
beauquier	Change the default location of the configuration file.	9 years ago
herman	Few more fixes in examples re new semantics.	15 years ago
israeli-jalfon	Line endings	15 years ago