CTAN Comprehensive TeX Archive Network

CTAN pack­age up­date: se­man­tic

Date: Novem­ber 3, 2003 6:18:00 PM CET
A pack­age has been up­dated at tug.ctan.org and it should make its way to your fa­vorite mir­ror real soon now. Thanks, Jim Hef­feron ====================================================================== The fol­low­ing in­for­ma­tion was pro­vided by the pack­age's con­trib­u­tor. Name of con­tri­bu­tion: se­man­tic Author's name: Peter M�ller Neer­gaard Lo­ca­tion on CTAN: macros/la­tex/con­trib/se­man­tic Sum­mary de­scrip­tion: Help for writ­ing pro­gram­ming lan­guage se­man­tic in­clud­ing soft­ware lig­a­tures Li­cense type: lppl An­nounce­ment text given by the pack­age's con­trib­u­tor: - ---------------------------------------------------------------------- This re­vi­sion up­dates se­man­tic to ver­sion 2.0(ep­silon). It in­cludes a patch to make se­man­tic com­pat­i­ble with ams­math 2.0. - ---------------------------------------------------------------------- You can have a look at the pack­age at http://tug.ctan.org/tex-archive/macros/la­tex/con­trib/se­man­tic al­though you may get a bet­ter net­work con­nec­tion by vis­it­ing a mir­ror of CTAN that is near to you; see http://www.ctan.org/tex-archive/README.mir­rors

se­man­tic – Help for writ­ing pro­gram­ming lan­guage se­man­tics

Eases the type­set­ting of no­ta­tion of se­man­tics and com­pil­ers. In­cludes T-di­a­grams, var­i­ous deriva­tion sym­bols and in­fer­ence trees.

Main­tainerArne John Glen­strup
Peter Møller Neer­gaard



Guest Book Sitemap Contact Contact Author