Commits

Nadia Polikarpova  committed 7dd4a4c Draft

Edited online

  • Participants
  • Parent commits 7c9de9f

Comments (0)

Files changed (1)

 
 //February 5, 2013//: Boogaloo 0.2 released, now with backtracking! [[Release notes]]
 
-//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!
+//December 12, 2012//: Try Boogaloo [[http://cloudstudio.ethz.ch/comcom/#Boogaloo|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