7 Commits (master)

Author SHA1 Message Date
Dave Parker a00471be4b Added txt extension to README files. 15 years ago
Dave Parker 5a19c826b7 Model keyword tidy-up: stochastic -> ctmc. 18 years ago
Dave Parker 2066da4ada Fixed web addresses in README files. 18 years ago
Gethin Norman ac7060c92d various fixes to update rewards and match web pages 18 years ago
Gethin Norman 5e2a37e335 updated rewards in polling files 18 years ago
Dave Parker 162c575ecb Updated URLs in case study READMEs. 18 years ago
Dave Parker 462b969156 Renaming examples directory to prism-examples. 20 years ago