Elbe 1.69

Elbe là một biên tập viên, hoa tiêu, biểu tượng giãn nở, in previewer và xử lý lệnh cho có thể là một loạt các ngôn ngữ chính thức. Hiện nay các ngôn ngữ được hỗ trợ: Isabelle lý thuyết (* .thy), Windows batch (* .bat, * .cmd), GAP tập đại số (* .in),...