The HTML help documentation (CHM) is compiled with NDoc 1.3 and the Microsoft HTML Help Workshop using the extensive XML documentation in the C# source code.
BOOGIE 2011: first international workshop on intermediate verification languages* This project is sponsored by the Research in Software Engineering Group ...
I'm using this solution to create list of workshop exercise info that our associates need access too, but that I'm now able to 'hide' the notes field on, ...
Pull-in Time Dynamics as a Measure of Absolute Pressure. In: Proc. IEEE International Workshop on Microelectromechanical Systems (MEMS'97), 1997. Nagoya, ...
I downloaded two different versions, I installed HTML Workshop and tried the .CHMs to no avail. I would have rated it lower but the idea itself is great.