Software

• digital gates and transistors in LaTeX/TikZ
• using the Xilinx ISE WebPack under CentOS 6 in a Docker container
• maintaining families of slide presentations in LaTeX
• booting a Linux system without a working bootloader
• genFamMem home page - A specification generator and type checker for families of formal requirements.
• Typesetting Z Specifications with Family Constructs
• vim editor syntax highlighting for CSP and for Z.
• Installing SuSE Linux 9.3 (and 8.2 and 7.0) on an Acer Travelmate 522TX
• bug fix for Gnu "tar" concerning multiple volumes and reading from pipes
• making modelling clay yourself - recipe (real software :-) )