Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/modes/

Quellcodebibliothek

Verzeichnis products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Files/

Browse_Buffer_Directory.bsh
Browse_Directory.bsh
Buffer_Switcher.bsh
Copy_Name_to_Clipboard.bsh
Copy_Path_to_Clipboard.bsh
Delete_Current.bsh
Duplicate_Buffer.bsh
Glob_Close.bsh
Insert_Selection.bsh
Next_Dirty_Buffer.bsh
Open_Path.bsh
Open_Selection.bsh
Open_Selection_In_Desktop.bsh
Send_Buffer_To_Next_Split.bsh
Toggle_ReadOnly.bsh