Commits

Nadia Polikarpova committed 6748f55 Draft

Edited online

  • Participants
  • Parent commits cad71ff

Comments (0)

Files changed (1)

 
 =News=
 
+//October 21, 2013//: Boogaloo is finally available with syntax highlighting from MSR's [[http://rise4fun.com/Boogaloo/|Rise4Fun]]!
+
 //October 16, 2013//: Boogaloo is now used for teaching Boogie in the Software Verification course at ETH. Check out the lecture slides: [[https://bitbucket.org/nadiapolikarpova/boogaloo/downloads/boogie_and_boogaloo.pdf|pdf]] [[https://bitbucket.org/nadiapolikarpova/boogaloo/downloads/boogie_and_boogaloo.pptx|pptx]] 
 
 //October 12, 2013//: Check out the updated [[User Manual]]!