Profile cover photo
Profile photo
Andrius Velykis
61 followers
61 followers
About
Andrius's posts

Post has attachment
Isabelle/Eclipse has just received its first stable release! Isabelle/Eclipse provides an Eclipse-based prover IDE for Isabelle theorem prover.

Read more about the release in the blog post: http://andrius.velykis.lt/2013/04/isabelle-eclipse-released/

Also check out the brand new Isabelle/Eclipse website, where you can download it and learn about its features: http://andriusvelykis.github.io/isabelle-eclipse/

Post has attachment
Finally got around to finishing the last bits of documentation and released a new Reflow Maven skin.

Reflow is a skin for Apache Maven-generated site that is built on Bootstrap and offers responsive design, modern web components, JavaScript goodies and wide customisation options. See it in action and read the documentation at Reflow skin website:

http://andriusvelykis.github.com/reflow-maven-skin/

Read more about it in my blog (link below).

Post has attachment
Added a post on some hoops I needed to jump through when producing icons for the Eclipse launcher of the new Community Z Tools IDE (upcoming release!)

Post has attachment
Added a tutorial on installing and running Z/EVES theorem prover on Mac OS X (using Wine). It can be used via command-line, the original Python GUI, or the new Eclipse integration with Community Z Tools (recommended).

Post has attachment

Post has attachment
Use Git submodules to link your master BibTeX file with each new LaTeX publication. This gives portability, versioning and a centralised solution to BibTeX reference management. More details in my blog post.
Wait while more posts are being loaded