These web pages are built using a custom markup language,
LOL.
LOL is an XML tag language, validated with a
combination of a RelaxNG schema, and a custom stylesheet. A web site is
generated from LOL source using XSLT. Hyperlinks in this web site are managed
through LOL tagging. We are also developing other features into the language,
such as managing the structures in our formal specs. If this makes sense to
you, LOL may be of some interest. If not, you've probably already read more
than you need to.
An augmentation of XHTML that provides a hypertext superstructure, as well as other useful facilities....
| © 2002 by the authors and LMNL.org All rights reserved |
![]() |