Snapshot building: another needed adjustment of timeout to assure successful building on the machine at Brock.
Increase LONGTIMEOUT to 10 hours to cope with the slowdown after the latest OS updates.
Matrixproc needed an update to work with the changes introduced for type annotation.
The switch can be given any name as long as it doesn't clash with something already existing. Preferably, the name should be intuitive (off unat or utf_nat suggests to me that one would also turn off the unicode printing). At the moment the switch unicode_in_off_nat is not turned off when nat is turned on. It has no consequencies whatsoever when nat is turned on. So when you say 'on unicode_in_off_nat' you can toggle nat as many times as you want in your program and have always the unicode characters...
I just added a switch unicode_in_off_nat that prints unicode characters as such in 'off nat' mode. E.g. [eschruefer@herbrand ~]$ redcsl -w Reduce (Free CSL version, revision 4218), 30-Sep-17 ... 1: off nat; 2: on unicode_in_off_nat; 3: #alpha; + #beta;; α + β$ 4: ab + #beta;; ab + β$ 5: off unicode_in_off_nat; 6: ab + #beta;; ab + !#03b2;$ Eberhard
Added switch unicode_in_off_nat to have unicode characters displayed as such when nat is off.
One possibility would be to go write int2id 4; Eberhard
Well, it works here for me with CSL. I can cut and pate and also send utf-8 characters over a pipe to Reduce. [eschruefer@herbrand ~]$ redcsl -w Reduce (Free CSL version, revision 4218), 20-Sep-17 ... 1: Φ; Φ 2: #Omega;; Ω The first is just the \Phi cut and pasted from your post into the terminal. The second is just to show that you get the correct symbol. How are you invoking CSL Reduce? Do you have the '-w' option as shown above on the command line? Eberhard