Backup diff of MenuBar(No. 16)

The added line is THIS COLOR.
The deleted line is THIS COLOR.

*MENU

&size(12){Preface}; 
-&size(12){[[Introduction>LMNtal]]};
-&size(12){[[Download]]};
// -&size(12){[[How to Install]]};
-&size(12){[[How to Use]]};
--&size(12){[[LaViT>How to Use]]};
--&size(12){[[LMNtal Java>How to Use LMNtal Java]]};
-&size(12){[[Visualizer]]};
-&size(12){[[Publications]]};
Preface 
-[[Introduction>LMNtal]]
-[[Download]]
// -[[How to Install]]
-[[How to Use]]
--[[LaViT>How to Use]]
--[[LMNtal Java>How to Use LMNtal Java]]
-[[Visualizer]]
-[[Publications]]

&size(12){Basics}; 
-&size(12){[[Example Programs]]}; 
-&size(12){[[Syntax]]}; 
-&size(12){[[Built-in Types]]}; 
-&size(12){[[Guards]]}; 
Basics
-[[Example Programs]]
-[[Syntax]]
-[[Built-in Types]]
-[[Guards]]

&size(12){Advanced Features}; 
-&size(12){[[Modules]]}; 
-&size(12){[[Foreign Language Interface]]};
-&size(12){[[Nondeterministic Execution]]}; 
-&size(12){[[Library Reference]]};
Advanced Features
-[[Modules]]
-[[Foreign Language Interface]]
-[[Nondeterministic Execution]]
-[[Library Reference]]

Backup diff of MenuBar (No. 16)