The remote_build Tool
Christian SternagelIsabelle Workshop (Isabelle 2018), 2018.
Abstract
This is an introduction to the remote_build tool for transparent remote session builds. The intended workflow for a user is to locally issue a build command for some session heap images and then continue working, while the actual build runs on a remote machine and the resulting heap images are synchronized incrementally as soon as they are available.
BibTeX
@inproceedings{CS-Isabelle18, author = "Christian Sternagel", title = "The remote_build Tool", booktitle = "Isabelle Workshop", year = 2018 }