|Did you know ...||Search Documentation:|
The web-browser supports several views, which we briefly summarise here:
TODOfiles is given.
/** <module ... */comment and the public predicates with their full documentation. Using the zoom button the user can select to view both public and documentated private predicates. Using the source button, the system shows the source with syntax highlighting as in PceEmacs and formatted structured comments.6This mode is still incomplete. It would be nice to add line-numbers and links to documentation and definitions in the sources.