- added print_latex() and print_csrc()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 17 Oct 2002 18:34:38 +0000 (18:34 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 17 Oct 2002 18:34:38 +0000 (18:34 +0000)
commitdff5209ee7cc816583f6abe27a4e784e34f0a664
tree74829f60554d88dc8e1623733760502c7fac8b00
parent53fb7ea435cb203ac338274b3f701cecc9ed4b0f
- added print_latex() and print_csrc()
- updated the man page
ginsh/ginsh.1.in
ginsh/ginsh_lexer.ll
ginsh/ginsh_parser.yy