build.props for isabelle.jar, including isabelle.jedit;
fc363a3b690a
Actions

Description

build.props for isabelle.jar, including isabelle.jedit;
build minimal Isabelle/jEdit plugins on the spot;
regular "jedit" component: discontinued special "jedit_build";
Isabelle/Scala services via jars, instead of settings;

build.props for isabelle.jar, including isabelle.jedit;fc363a3b690aActions

Description

Details

Event Timeline

Changes (101)Show All Changes

Very Large Commit

rISABELLEfc363a3b690a

.hgignore

Admin/Release/CHECKLIST

Admin/Windows/launch4j/isabelle.xml

Admin/build

Admin/components/components.sha1

Admin/components/main

Admin/etc/build.props

bin/isabelle_java

etc/build.props

etc/settings

lib/Tools/java

lib/scripts/getfunctions

lib/services/java.nio.charset.spi.CharsetProvider

src/Doc/JEdit/JEdit.thy

src/Doc/System/Environment.thy

src/Doc/System/Scala.thy

src/HOL/SPARK/etc/settings

src/HOL/Tools/etc/settings

src/Pure/Admin/build_jedit.scala

src/Pure/Admin/build_release.scala

src/Pure/Admin/other_isabelle.scala

src/Pure/System/isabelle_system.scala

src/Pure/System/scala.scala

src/Pure/Tools/jedit.ML

src/Pure/Tools/main.scala

src/Pure/Tools/scala_project.scala

src/Pure/build-jars

src/Tools/Setup/isabelle/setup/Build.java

src/Tools/jEdit/README

src/Tools/jEdit/etc/settings

src/Tools/jEdit/jedit_base/build.props

src/Tools/jEdit/jedit_base/plugin.props

src/Tools/jEdit/jedit_base/plugin.scala

src/Tools/jEdit/jedit_base/services.xml

src/Tools/jEdit/jedit_main/actions.xml

src/Tools/jEdit/jedit_main/build.props

src/Tools/jEdit/jedit_main/dockables.xml

src/Tools/jEdit/jedit_main/isabelle_sidekick.scala

src/Tools/jEdit/jedit_main/plugin.props

src/Tools/jEdit/jedit_main/plugin.scala

src/Tools/jEdit/jedit_main/scala_console.scala

src/Tools/jEdit/jedit_main/services.xml

src/Tools/jEdit/lib/Tools/jedit

src/Tools/jEdit/lib/Tools/jedit_client

src/Tools/jEdit/src-base/Isabelle_Base.props

src/Tools/jEdit/src-base/dockable.scala

src/Tools/jEdit/src-base/isabelle_encoding.scala

src/Tools/jEdit/src-base/jedit_lib.scala

src/Tools/jEdit/src-base/pide_docking_framework.scala

src/Tools/jEdit/src-base/plugin.scala

src/Tools/jEdit/src-base/services.xml

src/Tools/jEdit/src-base/syntax_style.scala

src/Tools/jEdit/src/Isabelle.props

src/Tools/jEdit/src/actions.xml

src/Tools/jEdit/src/base_plugin.scala

src/Tools/jEdit/src/debugger_dockable.scala

src/Tools/jEdit/src/dockable.scala

src/Tools/jEdit/src/dockables.xml

src/Tools/jEdit/src/documentation_dockable.scala

src/Tools/jEdit/src/graphview_dockable.scala

src/Tools/jEdit/src/info_dockable.scala

src/Tools/jEdit/src/isabelle_encoding.scala

src/Tools/jEdit/src/isabelle_sidekick.scala

src/Tools/jEdit/src/jedit_bibtex.scala

src/Tools/jEdit/src/jedit_lib.scala

src/Tools/jEdit/src/main.scala

src/Tools/jEdit/src/main_plugin.scala

src/Tools/jEdit/src/monitor_dockable.scala

src/Tools/jEdit/src/output_dockable.scala

src/Tools/jEdit/src/pide_docking_framework.scala

src/Tools/jEdit/src/plugin.scala

src/Tools/jEdit/src/protocol_dockable.scala

src/Tools/jEdit/src/query_dockable.scala

build.props for isabelle.jar, including isabelle.jedit;
fc363a3b690a
Actions

Changes (101)
Show All Changes