[console_scripts]
isabelle-build = isabelle_watchdog.build:main
isabelle-watchdog = isabelle_watchdog.watchdog:main
trajectory = isabelle_watchdog.trajectory:main
