Directory machines

Content

• AsmGofer
  Precompiled binaries for AsmGofer.
• compiler
  Script to start the Compiler Machine on a unix based platform.
• config
  Configuration file for font specification and colors.
• defensive
  Script to start the Defensive Machine on a unix based platform.
• defensiveH
  Script to start the Defensive Machine with history feature on a unix based platform.
• diligent
  Script to start the Diligent Machine on a unix based platform.
• diligentH
  Script to start the Diligent Machine with history feature on a unix based platform.
• examples
  Contains examples and exercises of the book.
• files
  Contains the source files of the executable models.
• java
  Script to start the Java Machine on a unix based platform.
• javaH
  Script to start the Java Machine with history feature on a unix based platform.
• predefined.java
  Contains the basic predefined classes for the Java Machine. This file is read on startup.
• predefined.jvm
  Contains the basic predefined classes for the Virtual Machine. Every file contains one class.
• trustful
  Script to start the Trustful Machine on a unix based platform.
• trustfulH
  Script to start the Trustful Machine with history feature on a unix based platform.