Discussions are moving to new Boogie mailing list

Developer
Jan 28, 2015 at 10:09 AM
Hi All,

A new mailing list has been set up for Boogie which can be subscribed to by going to

https://mailman.ic.ac.uk/mailman/listinfo/boogie-dev

This discussion board will be kept open because there is valuable information on it that should not disappear (it should eventually go into some kind of documentation). However use of this discussion board is now discouraged and questions should be posted to the mailing list.