On Wed, May 26, 1999 at 07:11:49PM +0100, Edward Betts wrote: > On Wed, 26 May, 1999, Dave Swegen wrote: > > Just curious really, but which format does the dict-jargon package > > use? > > None, I forgot about that one, it uses its own format. So that is > ANOTHER version of jargon, I presume it is still 4.0.0 and not yet > updated to 4.1.2
my feeling is that the dict format is the best format to use for the jargon dictionary - then it works for command-line queries and can be wrapped in a cgi for html output. maybe esr could be convinced to use dict as the 'source' format and generate html or whatever else from that? craig -- craig sanders