David Evans 2cb34c273c Tidy up chunky theme, add theme name autocomplete [#17]		2017-11-06 21:46:40 +00:00
..
AgentCap.js	Beginnings of theme switching capability	2017-11-05 22:39:36 +00:00
AgentCap_spec.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00
AgentHighlight.js	Add support for creating and destroying agents during connections	2017-11-05 13:15:41 +00:00
AgentHighlight_spec.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00
BaseComponent.js	Add fade agent cap	2017-11-05 19:22:14 +00:00
Connect.js	Tidy up chunky theme, add theme name autocomplete [#17]	2017-11-06 21:46:40 +00:00
Connect_spec.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00
Marker.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00
Marker_spec.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00
Note.js	Add support for aliases, and fix various issues when using the same agent multiple times in a statement [#19]	2017-11-05 17:10:06 +00:00
Note_spec.js	Add support for agent line highlighting, also sets groundwork for parallel actions [#10]	2017-11-04 22:18:57 +00:00