Download latest version ( beta 3 )

Visual TLA - beta 3  [ 02.02.2007 ]

*  ability to (proper) run TLA files
*  autocomplete added
*  TEX, DVI and PDF generation via TLA and MikTeX
*  option for reading settings from CLASSPATH variable
*  error localization from compilation/execution output
*  some improvements done to .cfg editor
*  new about window:)
*  a LOT of small fixes

Visual TLA - beta 2  [ 23.01.2007 ]

*  VisualTLA on SourceForge
*  .tla files can be assigned to VisualTLA during install
*  export options : RTF, HTML, TEX
*  find/replace capabilities
*  undo/redo (fixed) for both documents
*  print/print preview option
*  one document can only be opened once in an instance of VisualTLA
*  improved syntax highlighting for TLA language
*  a lot of minor bugs fixed and small improvements on the GUI

Visual TLA - beta 1   [ 02.01.2007 ]

*  initial release, more like an alpha version ( marketing mistake :) )
*  the usual open/save & copy/paste operations supported
*  TLA basic syntax highlighting
*  multi-language support