6.9 Further reading

Prev Up Next Page 106 of 800 Search internet

For further reading on the lgs programming language, see the programming language section. Whenever you need some feature, try finding something similar on one of the example pages that come with Logiweb and look in the source text how the feature was obtained. And don't hesitate to ask questions on the mailing list. Also look at the table of contents of the base page. Maybe you can pick something from the base page. At some stage when you know the system well, you may want to read the base page cover to cover to learn all there is.

See further reading on proof checking for more on that topic.

Prev Up Next Page 106 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05