Boogie syntax highlighting
==========================

1. Install Notepad++ (http://notepad-plus.sourceforge.net/).
2. Copy the file http://se.inf.ethz.ch/people/vanstaden/userDefineLang.xml to the right place. This is system and installation dependent. Here are a two examples:
   * On a machine with Windows Vista: C:\Users\YOUR_USERNAME\AppData\Roaming\Notepad++
   * On an XP machine: C:\Documents and Settings\YOUR_USERNAME\Application Data\Notepad++
3. In Notepad++, you can modify the highlighting under "View->User Define Dialog".


Boogie reference manual
=======================
http://research.microsoft.com/en-us/um/people/leino/papers/krml178.pdf


General
=======
* Remember the /smoke command-line option!
* You might find something useful at http://eve.origo.ethz.ch/wiki/boogie_language_and_tool
* For more examples see http://se.inf.ethz.ch/people/furia/software/gin-pink/paper_experiments.tgz
* Spec# examples of simple algorithms are available at http://www.rosemarymonahan.com/specsharp/.