Diff of MenuBar - LMNtal PukiWiki

The added line is THIS COLOR.
The deleted line is THIS COLOR.
Go to MenuBar.
Deleting diff of MenuBar

*MENU

''Preface''
-[[Introduction>LMNtal]]
-[[Download]]
// -[[How to Install]]
-[[How to Use]]
-[[Visualizer]]
-[[Publications]]

''Basics''
-[[Example Programs]]
-[[Syntax]]
-[[Built-in Types]]
-[[Guards]]
-[[Hyperlinks]]

''Advanced Features''
-[[Modules]]
-[[Foreign Language Interface]]
-[[Nondeterministic Execution]]
//-[[Nondeterministic Execution]]
-[[Library Reference]]