Changeset 025b797 in report for tools


Ignore:
Timestamp:
Dec 3, 2002 10:27:22 AM (17 years ago)
Author:
Ross Paterson <ross@…>
Branches:
h2010, h98, master
Children:
0ab57ed
Parents:
a0d58cd
Message:

Fix indexing of a few operators, particularly (
), which was making a
a small mess.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/splitAndIndexPgm

    ra0d58cd r025b797  
    22     if $running_under_some_random_shell;
    33#
    4 # $Header: /home/cvs/root/haskell-report/tools/splitAndIndexPgm,v 1.2 2001/09/11 13:04:28 simonpj Exp $
     4# $Header: /home/cvs/root/haskell-report/tools/splitAndIndexPgm,v 1.3 2002/12/03 10:27:22 ross Exp $
    55#
    66# This script reads a Haskell program and inserts LaTeX/verbatim
     
    119119            $raw =~ s/!/""!/g;
    120120            $raw =~ s/\@/""\@\@/g;
     121            $raw =~ s/\\/\\\\/g;
    121122
    122123            print "\\index\{$raw\@\@$processed\}%\n";
Note: See TracChangeset for help on using the changeset viewer.