4 Commits

Author	SHA1	Message	Date
Henry Oswald	3d9a93ad61	add logging of docker options	2018-03-16 17:37:36 +00:00
Henry Oswald	63145cc60c	add synctex back in	2018-03-16 16:22:39 +00:00
Henry Oswald	5739a2aeca	comment out synctex for moment	2018-03-16 16:04:26 +00:00
Henry Oswald	b202af3cf2	added docker runner into core codebase ... supports both local command runner and docker runner added docker files for tex live also fixed tests so they exit correctly & removed debug lines	2018-03-14 15:44:49 +00:00