- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
*MENU
[[Download]]
''Preface''
-[[Introduction>LMNtal]]
-[[Download]]
// -[[How to Install]]
-[[How to Use]]
-[[Visualizer]]
-[[Publications]]
[[Documentation]]
''Basics''
-[[Example Programs]]
-[[Syntax]]
-[[Built-in Types]]
-[[Guards]]
-[[Hyperlinks]]
&size(12){Preface};
-&size(12){[[Introduction]]};
-&size(12){[[How to Install]]};
-&size(12){[[How to Use]]};
''Advanced Features''
-[[Modules]]
-[[Foreign Language Interface]]
//-[[Nondeterministic Execution]]
-[[Library Reference]]
&size(12){Basics};
-&size(12){[[Example Programs]]};
-&size(12){[[Syntax]]};
-&size(12){[[Built-in Features]]};
-&size(12){[[Guards]]};
&size(12){Advanced Features};
-&size(12){[[Modules]]};
-&size(12){[[Inline Code]]};
-&size(12){[[Library Reference]]};
//#recent(14)
[[Edit MenuBar:http://www.ueda.info.waseda.ac.jp/lmntal/pukiwiki/pukiwiki.php?cmd=edit&page=MenuBar]]