Isabelle/Eclipse Files

Eclipse integration for Isabelle proof assistant

Status: Beta

Brought to you by: andrius-velykis

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
isabelle2013	2013-04-04		6
isabelle2012	2013-03-25		2
README.md	2013-03-25	705 Bytes	0
Totals: 3 Items		705 Bytes	8

Isabelle/Eclipse downloads

Isabelle/Eclipse plug-ins currently target a specific Isabelle distribution - they can only be used with Isabelle version they are targeted at. This is due to limited backwards compatibility in Isabelle/Scala.

For this reason, there are different plug-ins to download for specific Isabelle versions. The plug-ins are placed in corresponding folders:

isabelle2013 - Isabelle/Eclipse for Isabelle 2013. Active development.
isabelle2012 - Isabelle/Eclipse for Isabelle 2012. This version is not actively developed at the moment. Last released versions are kept, but new features are only added to Isabelle 2013 version.

Source: README.md, updated 2013-03-25

Other Useful Business Software

Keep company data safe with Chrome Enterprise Icon

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Recommended Projects

Archive of Formal Proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Occultation Resources
The purpose of Occultation project is to provide to Java developpers some Eclipse-based ressources : SWT widgets & Eclipse plug-ins
EasyEclipse:Eclipse IDE distros, plugins
Easy Eclipse makes Eclipse & Eclipse plugins easy to download, install & use. We test Eclipse plugin & create installers to deliver complete Eclipse-based IDEs & Eclipse plug-ins for C/C++, Java, Perl, PHP, Python, Ruby. Visit http://easyeclipse.org
Jalopy Java Source Code Formatter
Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit, NetBeans.
Eclipse Platform Extensions
A set of plug-ins that provide additional functionality to the Eclipse IDE.