Notes on JS-Eden2
(As of September 2016)
http://jseden.dcs.warwick.ac.uk/nickEXP/index-dev.html?load=jseden2/NicolasPope/Jugs&tag=2793
Selection by many criteria
- click yellowstar to select all definitions
- click whitestar to unselect all definitions
- #jugs - brings in all the defns with hashtag #jugs
- active: picture
- depends:Line #jugs
- determines:jugB
- myx is (x*x) (x in 1..111);
- // comment
- + is concatenation
- ^click on observable name to show value
Setting up collaboration via a local server: some notes
Invoke JS-Eden2 via:
http://jseden.dcs.warwick.ac.uk/nickEXP/index-dev.html?load=jseden2/MeurigBeynon/PennyRolling&tag=2837&addr=
- where you specify the IPv4 Address of the host
Use ipconfig in the cmd window to find the IPv4 Address
http://localhost:8000/index-dev.html?load=jseden2/NicolasPope/PennyRolling&tag=2813
http://localhost:8000/index-dev.html?load=jseden2/MeurigBeynon/PennyRolling&tag=2837