Elbe 1.69
Elbe ay isang editor, navigator, simbolo expander, i-print previewer at command na processor para sa posibleng isang malawak na hanay ng mga pormal na mga wika. Sa kasalukuyan ang mga wika ang sinusuportahan: Isabelle teoryang (* .thy), Windows batch (*...
