- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
*MENU
//[[Download]]
[[Documentation]]
&size(12){Preface};
-&size(12){[[Introduction>LMNtal]]};
-&size(12){[[Download]]};
// -&size(12){[[How to Install]]};
-&size(12){[[How to Use]]};
--&size(12){[[LMNtal Editor>How to Use]]};
--&size(12){[[LMNtalEditor>How to Use]]};
--&size(12){[[LMNtal Java>How to Use LMNtal Java]]};
-&size(12){[[Visualizer]]};
-&size(12){[[Visualizer]]};
-&size(12){[[Publications]]};
&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){[[Nondeterministic Execution]]};
-&size(12){[[Library Reference]]};