Searched refs:words (Results 1 - 7 of 7) sorted by relevance

/hets/utils/
H A Dwords.pl7 # read file "words.input" from current directory and produce
11 # words.input contains words seperated
13 # "generated-words.tex"
45 Created by a Perl-script (utils/words.pl)!
60 my %used_words = &process_the_words; # the words, LaTeX makros,
80 # words per section to max width over all fonts
110 my @words = sort (keys %{$word_widths->{$sec}});
111 push @two_letter_words, (grep {length($_) == 2;} @words);
117 (@words))),
[all...]
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex58 \item Nonterminal symbols are written as uppercase words, possibly hyphenated,
61 words, e.g.~channel; or sequences of special characters that do not clash
323 constructors (lowercase words) and components (non-terminals). * and + denote
/hets/doc/
H A Dcollected_proposals.tex37 axiom labels and substituting words (only alphabetic charactars) which
H A DLibraries.tex121 following the key words `\Gram{library}' and `\Gram{from}' in
150 Briefly some words about what \Hets is:
/hets/
H A DMakefile590 pretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
591 pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
594 $(PERL) ../utils/words.pl > words.pl.log ; \
649 utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log \
/hets/debian/
H A Drules590 pretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
591 pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
594 $(PERL) ../utils/words.pl > words.pl.log ; \
649 utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log \
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 32 milliseconds