From ce9f710e7e5f28f16329e1588deaed3bf1c31ce1 Mon Sep 17 00:00:00 2001 From: Christopher William Schankula Date: Mon, 6 May 2019 14:54:35 -0400 Subject: [PATCH] move readme section, a bit more explanation --- Readme.md | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/Readme.md b/Readme.md index df707f9..9792db8 100644 --- a/Readme.md +++ b/Readme.md @@ -56,14 +56,19 @@ To edit your specification, make changes to the spec in `ClientServerSpec.hs` an _Static files will be rebuilt if there are changes, so don't edit them as you will lose work from them._ -# Updating your version of PAL -1. Ensure that you have run `stack build` for your project. -2. Run `stack exec pal-update` -3. If an update is available, type y/Y to install the update. -4. The newest version of PAL and the templates will be installed. -5. Regenerate your project with `stack exec pal-exe` and rebuild your project using `stack build` to use the newest version of PAL. - ## Compiling Net Graphs When you generate your code, you will be given the code to generate codegraphs with `dot`. Either run them through dot, or use the following website: https://dreampuf.github.io/GraphvizOnline/. Copy the code from the dot file in `MyNewPetriProject/Diagrams/` into the website to preview it. + +# Updating your version of PAL +New versions of PAL are currently posted on GitHub as releases/tags. +PAL contains a built-in way of updating your project to the newest version +so you never miss out on new fixes and features! To update your project's +version of PAL: + +1. Ensure that you have run `stack build` for your project (at some point in the past). +2. Run `stack exec pal-update`. +3. If an update is available, type y/Y to install the update. +4. The newest version of PAL and the templates will be installed. +5. Regenerate your project with `stack exec pal-exe` and rebuild your project using `stack build` to use the newest version of PAL.