andriusvelykis/bibdesk-scripts

Stars
10
Rank 1,807,489 (Top 36 %)
Language AppleScript
Created over 11 years ago
Updated over 11 years ago

andriusvelykis/bibdesk-scripts

andriusvelykis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Scripts for BibDesk application

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.

ml-dev

Eclipse plug-in for Standard ML

proofprocess

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.

blank-maven-skin

Blank Maven skin renders the Maven site pages without any additional skinning or decoration.