The remote_build Tool
      Author: Christian Sternagel
Paper Information
| Title: | The remote_build Tool | 
| Authors: | Christian Sternagel | 
| Proceedings: | Isabelle Papers | 
| Editor: | Makarius Wenzel | 
| Keywords: | Isabelle, tool, remote build | 
| Abstract: | 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. | 
| Pages: | 4 | 
| Talk: | Jul 13 16:15 (Session 88C: Isabelle 4) | 
| Paper: |  |