[Agda] ANN: Jekejeke Prolog 0.9.5 (runtime console, google play)
Jan Burse
janburse at fastmail.fm
Sun Sep 2 13:12:42 CEST 2012
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
More information about the Agda
mailing list