Commits

Nadia Polikarpova  committed 624d5b0 Draft

Edited online

  • Participants
  • Parent commits 50463cd

Comments (0)

Files changed (1)

 
 =News=
 
+//February 5, 2013//: Boogaloo 0.2 released, now with backtracking!
+
 //December 12, 2012//: Try Boogaloo [[http://cloudstudio.ethz.ch/comcom/|online]]! @haches created a simple web interface for Boogaloo, so now you can play around with the interpreter without downloading the executable. Thank you Christian!
 
 //October 30, 2012//: The [[http://hackage.haskell.org/package/language-boogie|language-boogie]] package is now on Hackage