@ycaseau
> claire4 -sf Generate -o claire4
when init.cl is modified the command above will overwrite claire4.go
it is unclear what in init.cl to add or modify
where after running the a...
> linux machine
>
> print U+2208
possibly claire on POSIX could be segregated from other bash or C shell use
by using for claire a shell with a customised keymap
es: a shell with higher...
this is rather large
aside from what was accordingly left unattended to
as mentioned in https://github.com/ycaseau/CLAIRE4/issues/6#issuecomment-2424110891
unsure whether this is the corre...
print U+2208
emacs
<kbd>C-x 8 RET</kbd> and in the echo buffer the Unicode name or <kbd>#x2208</kbd> and then <kbd>RET</kbd>
vim
while in insert mode
<kbd>C-k (-</kbd>
@<!-- -->ycaseau
were you amenable to a pull or pulls fixing the exposed typographical errors
please inform if you prefer a limit on the number of lines changed in a single pull
elsewhere I've encountered the string casted but is seems to be incorrect English
```
grep -nr casted CLAIRE4
```
not sure on my end of what the replacement stings might be were these factu...
time permitting
might you address the unexpected `unknown` line
> (2)
pull `#5` has some non-English strings typo corrected
personally I have not run any of the tests
> (3)
read t...
moving to U+20AC
I file my objection here to the stated intention to use that unicode character in the source code.
`https://sites.google.com/view/claire4/faq#h.z7v2ebdnfxxx`
- Set members...