Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit_plugins.scala
author Fabian Huch <huch@in.tum.de>
Thu, 16 Nov 2023 15:36:34 +0100
changeset 78980 a80ee3c97aae
parent 77570 98b4a9902582
permissions -rw-r--r--
properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
77570
98b4a9902582 tuned headers;
wenzelm
parents: 74429
diff changeset 
     1
 
/*  Title:      Tools/jEdit/src/jedit_plugins.scala
74429
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
diff changeset 
     2
 
    Author:     Makarius
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
diff changeset 
     3
 












fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     4


Isabelle/jEdit plugins via dynamic Isabelle/Scala/Java modules.













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     5


*/













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     6














fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     7


package isabelle.jedit













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     8














fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




     9


import isabelle._













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    10














fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    11














fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    12


class JEdit_Plugin0 extends













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    13


  Scala_Project.Plugin(Path.explode("$ISABELLE_HOME/src/Tools/jEdit/jedit_base"))













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    14














fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    15


class JEdit_Plugin1 extends













fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;



wenzelm


parents: 

diff
changeset




    16


  Scala_Project.Plugin(Path.explode("$ISABELLE_HOME/src/Tools/jEdit/jedit_main"))















isabelle