CafeOBJ 1.5.1 and binary builds
After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...
After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...
After a long business trip to Europe, here a big round of updates for all of TeX Live/Debian. Besides updating the usual bunch of packages from CTAN, this upload also brings a new set...
Today I got the booklet: JAIST Outline 2014-2015, and I found a very interesting table at the end of the pamphlet, listing the international staff members. Reading through it, I wondered what has happened...
Laurent Binet’s HHhH – Himmlers Hirn heißt Heydrich – a great book about one of the many dark chapters of the Second World War, diluted by the author’s affectation and self-infatuations. The book tells...
A group of young people from Teheran have been convicted for producing the following nice video of them dancing to the song “Happy” by Pharrell Williams. Convicted to 91 lashes and six months in...
These UK trains drive me crazy. This morning in particular South West Trains. So I have a off-peak return ticket. For those not comfortable with the UK train booking system: Getting a train ticket...
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...