![]() TeXLive for Isabelle/LaTeX document preparation.Proper Window manager / Desktop environment that works with Java/AWT/Swing.docker run makarius/isabelle:Isabelle2021-1_ARM.docker pull makarius/isabelle:Isabelle2021-1_ARM.The default platform is Intel x86_64, but ARM is supported as well (e.g. ![]() That provides command-line access to the regular isabelle tool wrapper, with indirection through the Docker container infrastructure.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |