[Agda] ANN: Jekejeke Prolog 0.9.5 (runtime console, google play)

[Jan Burse]

Dear All,

This is an out of band release of Jekejeke Prolog. It is
mainly an infrastructure update.

The highlights are:

- Runtime Library (free) I: The Swing version has now a console.

- Runtime Library (free) II: The Android version has now a console.

- Runtime Library (free) III: The Android version is now also
   available on Google Play. But the Development Environment and
   the Minlog Module are currently not on Google Play.

- Minlog Module (Chart Parser, CLP(FD)): There is now an Android version.

Happy coding!
http://www.jekejeke.ch/

Jan Burse
Sep 2. 2012