Branch: Tag:

2001-07-16

2001-07-16 15:47:16 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Markup fix.

Rev: lib/modules/Geography.pmod/Countries.pmod:1.16
Rev: lib/modules/Geography.pmod/Position.pike:1.8
Rev: lib/modules/Parser.pmod/module.pmod:1.9
Rev: lib/modules/Protocols.pmod/HTTP.pmod/module.pmod:1.25
Rev: lib/modules/Stdio.pmod/module.pmod:1.120
Rev: lib/modules/Web.pmod/Crawler.pmod:1.10

486:   //! an array of the countries on that continent.   //!   //! The continents are: - //! @pre{ + //! @tt{   //! "Europe"   //! "Africa"   //! "Asia"
533:   //! is in the name- and domain-space and   //! returns that country if possible:   //! - //! @pre{ + //! @tt{   //! > Geography.Countries.se;   //! Result: Country(Sweden)   //! > Geography.Countries.djibouti;