Lines Matching refs:Although
2867 % Although only regular is the truly official Euro symbol, we ignore
3989 % it will fail (although perhaps we could fix that with sufficient work
4145 % disappear altogether for that purpose -- although logging shows that
4232 % Although these internal commands shouldn't show up, sometimes they do.
