Re: Quint Source Code Documentation

[Doug Stewart]

No I clicked on classes in:

 All Classes Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines

So yes it does work your way

On Wed, Apr 27, 2011 at 7:14 PM, Jacob Dawid <address@hidden> wrote:

That's strange, I am using Chromium. Did you click on "Classes" on the top menu bar?

--
Software Development == Church Development
Step 1. Build it.
Step 2. Pray.

Whitespace - the most ink saving programming language: http://compsoc.dur.ac.uk/whitespace/index.php .