jEdit | My own copy of jEdit 's repository | DevOps library

 by   vanzin Java Version: Current License: No License

kandi X-RAY | jEdit Summary

kandi X-RAY | jEdit Summary

jEdit is a Java library typically used in Devops applications. jEdit has no bugs, it has no vulnerabilities and it has low support. However jEdit build file is not available. You can download it from GitHub.

My own copy of jEdit's repository from

            kandi-support Support

              jEdit has a low active ecosystem.
              It has 24 star(s) with 27 fork(s). There are 5 watchers for this library.
              It had no major release in the last 6 months.
              There are 0 open issues and 1 have been closed. There are no pull requests.
              It has a neutral sentiment in the developer community.
              The latest version of jEdit is current.

            kandi-Quality Quality

              jEdit has no bugs reported.

            kandi-Security Security

              jEdit has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

            kandi-License License

              jEdit does not have a standard license declared.
              Check the repository for any license declaration and review the terms closely.
              Without a license, all rights are reserved, and you cannot use the library in your applications.

            kandi-Reuse Reuse

              jEdit releases are not available. You will need to build from source code and install.
              jEdit has no build file. You will be need to create the build yourself to build the component from source.

            Top functions reviewed by kandi - BETA

            kandi has reviewed jEdit and discovered the below as its top functions. This is intended to give you an instant insight into jEdit implemented functionality, and help decide if they suit your requirements.
            • Main entry point
            • Generates the cache
            • Checks the dependencies of the plugin
            • Initialize icons
            • The main method to execute the tar archive
            • Checks if the package is up to the given directory
            • Prepares a task for execution
            • Initialize the components
            • Create a multiple line message
            • Layout the container
            • The main constructor
            • Initialize the UI
            • Initialize the checkbox
            • Initializes the component
            • Create the search settings panel
            • Initialize
            • Init
            • Called when a content block is inserted
            • Initialize the dock layout
            • Installs the keyboard listeners
            • Handler for text removal
            • Initialize the view
            • Called when the printer has changed
            • Create the multifile panel
            • Initialize the model
            • Initialize the internal messages
            Get all kandi verified functions for this library.

            jEdit Key Features

            No Key Features are available at this moment for jEdit.

            jEdit Examples and Code Snippets

            No Code Snippets are available at this moment for jEdit.

            Community Discussions


            Isabelle/jEdit: Emacs Set Mark does not work
            Asked 2021-Oct-31 at 11:41

            I am new to Isabelle/jEdit. I am accustomed to Emacs, so I'd like to set the shortcuts in Emacs style. It went well in most cases, but the command Emacs Set Mark does not work. When I invoke the command, the message "Input/output complete" appears in the minibuffer, and nothing happens in the text area.

            Does anyone have an idea to fix it? I tried the various shortcut keys but all fail. I use macOS Big Sur (version 11.5.2), Isabelle2021. (The keyboard is Japanese style.)



            Answered 2021-Oct-31 at 11:41

            Both jEdit and the jEdit Isabelle plugin have a bunch of defaults which conflict with Emacs-style keys, so you have to make sure to unbind any existing keybindings that conflict with the ones you want to add and make sure they are removed from both primary and secondary. You have to do this by hand starting with the standard keybindings, because the Emacs keybinding set provided with jEdit sucks--and even worse, none of the default Isabelle keybindings are in it. Next time you start jEdit, it will open a dialog saying that there are keybinding conflicts, and you'll have to confirm the ones you just added.

            Since this is kind of 面倒くさい both to explain and to do yourself, and there's not an easy way to show what I've changed vs. the defaults, here's my jEdit properties and Emacs-like keymap file. To use them:

            1. Quit jEdit.

            2. Copy the keymap file to $JEDIT_SETTINGS/keymaps/ (run isabelle getenv JEDIT_SETTINGS from your shell).

            3. If you want to just use all my settings, copy the properties file to $JEDIT_SETTINGS/ (why wouldn't you, I have great taste :) ). Otherwise, grep -E '(^keymap\.current|\.shortcut2?\.ignore)=' properties and add the lines to $JEDIT_SETTINGS/properties yourself.

            4. Start jEdit and resolve any keybinding conflicts it complains about.

            My settings are Emacs-like with as many of the default Isabelle keys preserved, but Emacs stuff mostly takes priority: for example, Ctrl+b is backward-char instead of Isabelle completion, and Ctrl+e is move-end-of-line instead of being stolen by jEdit for a bunch of its key sequences.

            Ctrl+SPC should activate the mark, but note that the region will NOT be highlighted until you perform some other command--try Emacs kill ring save (bound to M+w; that will probably be Opt+w on your Mac keyboard).

            I haven't ran macOS in ages--I currently use Isabelle/jEdit on Linux over remote X11 with the X server running on Windows--but it shouldn't be any different on macOS, even with the Japanese layout, unless some other program you have is eating keys before they get to jEdit. (I think Ctrl+SPC switches the IME/keyboard layout on macOS by default, right? You might want to change either the macOS setting or the set mark binding in jEdit.)

            On Java SE 16 and 17, you will probably get an error from jEdit saying something like:

            unknown error: Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module

            To fix this, add this to your $ISABELLE_HOME_USER/etc/settings:



            How can I use Isabelle in Emacs
            Asked 2021-Aug-03 at 07:19

            Most of the Isabelle documentation I see says that Proof-General supports Isabelle, but as far as I know PG dropped support about 5 years ago.

            Is there another possibility to use (current) Isabelle with Emacs? Neither JEdit, nor VSCode really work for me.



            Answered 2021-Aug-03 at 07:19

            There is no official solution and no way to make Proof General work again.

            However, there is an unofficial solution. You could try isabelle-emacs (Disclaimer: I develop it in my free time. The experience is a bit rough, but there are a few people using it). It uses the Isabelle's LSP server like VScode, but it uses Emacs based. The difference between isabelle-emacs and Isabelle is limited to a few line in the LSP server and the Emacs specific code. Neither kernel nor any other theory is changed.



            Isabelle "Failed to apply proof method" when working with two theory files
            Asked 2021-May-06 at 06:33

            I have theory file Test_Func.thy which I have copied in Isabelle src/HOL and which defines function add_123:



            Answered 2021-May-06 at 06:33

            There is no need to put theory files into the Isabelle distribution (on the contrary, I'd better keep it intact to make sure your development can be used on other machines without touching Isabelle installation).

            The issue with the failing proof lies in a different area: the definition of add_123 is inductive on the first argument and has no immediate rule how to handle the expression specified in lemma_02. (E.g., lemma add_01: "add_123 0 m = m" could be proved the way you used because it matches the first case specified in the definition.)

            The solution is to use a proof by induction on the first argument:



            How to write subscripts in Isabelle?
            Asked 2021-Apr-11 at 11:22

            How can one write subscripts in an Isabelle (2021) text command?

            I tried to use the <^sub> symbol (which automatically converts to a down arrow) as follows:



            Answered 2021-Apr-11 at 11:22

            You can use the antiquotation text:



            How to see all the active Isabelle sessions?
            Asked 2021-Mar-27 at 00:17

            This question is connected with my other question How to export Isabelle session from the Windows installation? . Maybe that other question can be solved if I indicate the correct session name.

            So - my question is - how to see all the active Isabelle sessions if jEdit if used for the editing of some custom theory file.

            I can call jEdit plugin 'Plugins - Isabelle - Browse Session information' and I am getting the tree in left-side panel:



            Answered 2021-Mar-25 at 17:20

            For documentation purpose, this question was also asked on the Isabelle mailing-list.

            Basically the answer given there is to:

            1. create a ROOT file for your new theories
            2. make sure that your ROOT file is known to Isabelle. Either by using the option "-d" from Isabelle or installing your new session like the AFP.

            Then something along the lines of



            How to execute Isabelle 2021 commandline commands from Windows 10?
            Asked 2021-Mar-21 at 01:33

            I have installed Isabelle 2021 version and now I would like to try command "isabelle export" as suggested in page 12, 2nd section of 15.1 chapter.

            I can see 2 possibilities:

            • There is main Isabelle2021.exe, but it start jEdit window and I carefully checked packaged jEdit options and I did't find the possibility that jEdit may server as the tool for entering isabelle command line commands.

            • There are 3 scripts inside bin directory - isabelle, isabelle_java, isabelle_scala_script, I made copies as *.bat files for each of them and I have tried to run from Windows command line, but I got:

              C:\Homes\Isabelle2021\Isabelle2021\bin>isabelle_scala_script.bat export

              C:\Homes\Isabelle2021\Isabelle2021\bin>#!/usr/bin/env bash '#!' is not recognized as an internal or external command, operable program or batch file.

              C:\Homes\Isabelle2021\Isabelle2021\bin># '#' is not recognized as an internal or external command, operable program or batch file.

            So, these commands can be *nix related and may require running from cygwin, isn't it?

            OK, now I am digesting the content of those 3 files, maybe I can tweak them for Windows. But it would be nice to hear what is the conventional, intended way of running Isabelle commands from Windows shell?



            Answered 2021-Mar-21 at 01:33

            Answer is simple - there is Cygwin-Terminal.bat besides isabelle2021.exe and this *.bat opens the cygwin shell in which the isabelle command is available, including isabelle export with its options.



            How to skip (problematic) Isabelle sessions in AFP?
            Asked 2021-Mar-01 at 07:23

            I tried to use AFP (02/22/2021) with Isabelle 2021, but the jEdit/Isabelle PIDE wouldn't load after the AFP directory is added to the user ROOT file. The is shown below and seems to be about a specific package:

            I don't really need the entry in question (, or know what it does). My question is:

            Is there a way to use a subset of AFPs and exclude problematic entries in the screenshot?

            -- Update ---

            As pointed out in the comments, the AFP seemed to be lagging a couple of days behind. Using afp-02-24-2021, the initial error went away. However, when selecting a session Jordan-Normal-Form from jEdit, there is a new error about JNF-AFP-Lib build failing, as shown below:

            The question remains. The AFP seems to be a large collection and there could be multiple sources of error.

            In case of such errors, is there a way to select a subset of AFPs to use or debug?

            If not, is there a systematic way to test which afps do or do not build?



            Answered 2021-Mar-01 at 07:23
            Original question

            The problem was because you (unknowingly) used an AFP release that did not match the Isabelle release. To avoid that problem in the future, I recommend using the Mercurial repository directly:


            The Mercurial repository for a new Isabelle release gets created during the RC phase, so you can always be sure to have matching versions.

            In the case of these mismatches, it is usually not possible to select a subset of the AFP that "works", because between 2020 and 2021, the session management has changed considerably.


            The problem you're facing here is that you have selected a big session as a prerequisite and it takes too long to build with the default configuration.

            You can build the session on the command line with an increased timeout as follows:



            request clarification on appearance of apparent real coercion in theory involving natural numbers in Isabelle theory
            Asked 2021-Jan-22 at 06:24

            I am examining the following theory in Isabelle2020 /jEdit:



            Answered 2021-Jan-22 at 06:24

            The function sqrt is only defined over reals. Therefore, you need to convert its argument p from nat to real. There is a coercion that does that automatically for you; hence the real function you can.

            After that, the only way to type m/n is real m / real n.

            Generally, overloaded syntax is a problematic for proof assistants. For example, 2/3 on paper can be the rational number Fract 2 3 in Isabelle, the real number 2/3, or the inverse of 3 in a F_5 multiplied by two, or something else.

            In Isabelle this is solved by (to a certain extend) avoiding overloading and using different notations.



            can we use cartouches instead of quotation marks to delineate inner syntax in jEdit Isabelle/HOL sessions
            Asked 2021-Jan-21 at 15:52

            In typing statements of a proof into an Isabelle (2020) theory file, e.g.,



            Answered 2021-Jan-21 at 15:52

            Cartouches vs quotes is currently a matter of style, except for imports, syntax definitions, and for some command arguments (like nitpick[eval=".."]).

            Remark that some keyboard layouts make it possible to type them directly (e.g., mac US international).

            I believe that Makarius would like to deprecate the quotes eventually. This would allow users to write "a" instead of ''a'' for strings). But don't expect that to happen anytime soon.

            So: Write what you like most!



            How to abort a proof in Isabelle?
            Asked 2021-Jan-14 at 05:56

            I was wondering if there is a way to abort a proof in Isabelle/jEdit?

            I searched for commands such as "Reset", "Abort" but couldn't find it.

            I know there is Sorry. But I am not sure if one uses Sorry, the theorem at hand is assumed to be true or abandoned. Also, Sorry does not seem to work in the apply..done mode.

            Currently, I comment out the theorems that I can't prove. But it requires a lot of typing (four characters each in (* *)) to comment or uncomment something, which is kind of cumbersome.

            So is there a standard/universal way to abort a proof in Isabelle?



            Answered 2021-Jan-14 at 05:56

            First, the command is sorry and it does work (but only) in apply style:


            Community Discussions, Code Snippets contain sources that include Stack Exchange Network


            No vulnerabilities reported

            Install jEdit

            You can download it from GitHub.
            You can use jEdit like any standard Java library. Please include the the jar files in your classpath. You can also use any IDE and you can run and debug the jEdit component as you would do with any other Java program. Best practice is to use a build tool that supports dependency management such as Maven or Gradle. For Maven installation, please refer For Gradle installation, please refer .


            For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .
            Find more information at:

            Find, review, and download reusable Libraries, Code Snippets, Cloud APIs from over 650 million Knowledge Items

            Find more libraries
          • HTTPS


          • CLI

            gh repo clone vanzin/jEdit

          • sshUrl


          • Stay Updated

            Subscribe to our newsletter for trending solutions and developer bootcamps

            Agree to Sign up and Terms & Conditions

            Share this Page

            share link

            Explore Related Topics

            Consider Popular DevOps Libraries


            by ansible


            by bregman-arie


            by dotnet


            by semantic-release


            by Carthage

            Try Top Libraries by vanzin


            by vanzinJava


            by vanzinJavaScript


            by vanzinScala


            by vanzinJava


            by vanzinPython