David Evans b562120c33 Support FireFox		2017-11-09 21:08:16 +00:00
..
core	Add alternative arrow types [#20]	2017-11-08 22:50:41 +00:00
interface	Support FireFox	2017-11-09 21:08:16 +00:00
sequence	Simplify rendered SVGs slightly and add support for Safari	2017-11-09 20:09:16 +00:00
stubs	Add integration testing	2017-10-30 21:22:20 +00:00
svg	Support FireFox	2017-11-09 21:08:16 +00:00
tester	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
jshintConfig.js	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00
main.js	Beginnings of theme switching capability	2017-11-05 22:39:36 +00:00
readme_images.js	Tidy up chunky theme, add theme name autocomplete [#17]	2017-11-06 21:46:40 +00:00
requireConfig.js	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00
specs.js	Beginnings of theme switching capability	2017-11-05 22:39:36 +00:00