|
|
|
|
Quellcode-Bibliothek plugin.scala
Sprache: unbekannt
|
|
/* Title: Tools/jEdit/jedit_base/plugin.scala
Author: Makarius
Isabelle/jEdit base plugin.
*/
package isabelle.jedit_base
class Plugin extends isabelle.jedit.Base_Plugin
[ 0.13Quellennavigators
Projekt
]
|
2026-03-28
|
|
|
|
|
