log core.js @ 215:3cc4088aa6d5 Dev_main

age author description
Tue, 16 Jun 2015 17:19:51 +0100 Nicholas Jillings Implementing Features #1271 and #1272 Dev_main
Tue, 16 Jun 2015 15:44:02 +0100 Nicholas Jillings Added common interface to specification to handle global interface-specific functions such as checks for playback. Dev_main
Tue, 16 Jun 2015 14:38:47 +0100 Nicholas Jillings Fix for Bug #1280 Dev_main
Tue, 16 Jun 2015 14:14:08 +0100 Nicholas Jillings Merge from the default branch Dev_main