GitHub - da319/jStar-eclipse-old

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
com.jstar.eclipse.annotations		com.jstar.eclipse.annotations
com.jstar.eclipse.processing		com.jstar.eclipse.processing
com.jstar.eclipse.update.site		com.jstar.eclipse.update.site
com.jstar.eclipse		com.jstar.eclipse
doc		doc
jstar.eclipse.feature		jstar.eclipse.feature
COPYRIGHT		COPYRIGHT
LICENSE		LICENSE
README		README

Repository files navigation

The jStar Eclipse Plug-in
=============================

There is a tutorial for the plugin:
   doc/jstar eclipse tutorial/jstar eclipse tutorial.pdf

For more information, see http://www.jstarverifier.org