Previews of Isabelle/Eclipse, CZT+Z/EVES for Eclipse and the ProofProcess...
Early release time! I got around to creating proper build environments for all the code I have been working on. Using Eclipse Tycho I was able to create Maven build configurations for all the projects....
View ArticleClik here to view.
Installing Z/EVES on Mac OS X
Z/EVES is an interactive theorem prover for Z notation. It can be used to develop Z specifications and reason about them. It has a number of attractive features, such as an easier learning curve (in...
View ArticleClik here to view.
Creating icons for Eclipse RCP launcher
Eclipse IDE can be extended by creating plug-ins that complement the existing IDE features. Furthermore, the plug-ins can be released as a standalone application (that may resemble Eclipse IDE) with...
View ArticleClik here to view.
Modernise Maven site with new Reflow Maven skin
I have decided to dust off and finally release some projects that occupied some of my time in the past but then got forgotten or postponed somehow… The first of these is a new skin for Apache Maven...
View Article
