elbe

 

The Elbe Tool 0.99b

Elbe is a tool for formal languages.










Properties

Elbe is a simple editor, navigator, symbol expander, print previewer and batch runner for (possibly) a wide variety of formal languages.



Download

deutsch   english   more info    earlier versions


Current Languages

Isabelle theories (*.thy), Windows batch (*.bat,* .cmd), GAP algebraic files (*.in), COBOL (*.cob,*.cbl), Swift MT940 formalism (*.mt), Fortran (*.ftn), VHDL (*.vhdl) Abap (*.abap) Lex/Yacc (*.lex;*.yacc) Accent (*.acc) Ada (*.adb;*.ads) C (*.c;*.h) JAVA (*.java) Perl (*.pl) REXX (*.rexx) SPS (*.sps)

Elbe is a trademark of Context IT GmbH