annotate src/.dbxinit @ 41882:f3bc5e440020

Resurrect the Hebrew category settings for all Hebrew characters removed by the last change. Add code for setting the Hebrew category of the Unicode Hebrew characters. Set syntax entries for Hebrew punctuation characters.

ignore 14
catch 18
ignore 20
ignore 23
alias s step
alias n next
alias c cont
alias st status
alias r run
alias l list
alias f file
alias q quit
alias w where
alias d delete
alias p print