Search Results for "output"

...Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

Using encryption to secure your code or text. Click File->Run to run your code using Ruby, see the pop up for output. Never save your text or code to disk unencrypted. Don't forget your password. Encryption is error-persistent.

Eslink is a Eclipse plug-in collection for SAS® development. They provide a partly integration of the SAS® system into the Eclipse environment.

Simple eclipse builder plugin that copies maven war files to the output 'target' directory. When a file is edited and saved (Java, JSP, etc.), it is immediately copied to the output. This greatly speeds maven web app development.

(XSLT transformer/editor) A text editor that allows the loading and editing of an XML document and an XSLT document at the same time. It also can apply the XSLT to the XML and display the output for further editing/saving. Plugable XML and XSLT parsers

Hashes source files and generates detailed CSV output designed to help humans detect plagiarism.

ALIA Editing Tools: AEdiT provides tools for visualizing and editing bytecode and machine, and generates debugging output code. Furthermore, it provides convenience tools supporting the development approach of the ALIA4J project.

Filter Through Command is a simple Eclipse plug-in that adds unlimited functionality to Eclipse. With Filter Through Command, you can run selections of text through shell commands and have the output immediately inserted into the current document.