There are no reviews yet. Be the first to send feedback to the community and the maintainers!
reflow-maven-skin
Reflow is an Apache Maven site skin built on Bootstrap. It allows various structural and stylistic customizations to create a modern-looking Maven-generated website.pde-target-maven-plugin
Maven plugin to generate Eclipse PDE target definitions using POM-first dependencies. Supplements functionality of Eclipse Tycho to use OSGI bundles from Maven repositories in Eclipse Plug-in Development Environment.isabelle-scala
A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.isabelle-eclipse
Eclipse integration for Isabelle proof assistant.bibdesk-scripts
Scripts for BibDesk applicationml-dev
Eclipse plug-in for Standard MLproofprocess
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).scala-nested-class-netbeans
An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.Love Open Source and this site? Check out how you can help us