Browsing extensions for Emacs Mizar mode

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

New symbol and reference browsing functions and keyboard and mouse
shortcuts were added recently to the Mizar mode.
The most useful shortcuts include:

Shift-right-click on a symbol takes you to its first definition.
Right-double-click on a symbol lets you select from all its definitions.
Shift-left-click on a reference (e.g. BOOLE:99) takes you to it.
Sfift-middle-click pops up menu of already visited tags.

Short README on these new features is at
http://kti.ms.mff.cuni.cz/~urban/README_BROWSING.txt

The new mode version is at
http://kti.ms.mff.cuni.cz/~urban/miz6.0.15/mizar.el
 
To use these functions, you need to execute the perl script stag.pl in
the directory $MIZFILES/abstr. It creates the tags needed for browsing.
The file is at
http://kti.ms.mff.cuni.cz/~urban/stag.pl

Happy browsing
Josef Urban