Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml-mode/trunk/sml-mode.el
ViewVC logotype

Diff of /sml-mode/trunk/sml-mode.el

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1710, Sat Nov 20 04:15:23 2004 UTC revision 1711, Tue Nov 23 05:13:59 2004 UTC
# Line 191  Line 191 
191     (and (fboundp 'make-char) (charsetp 'japanese-jisx0208)     (and (fboundp 'make-char) (charsetp 'japanese-jisx0208)
192          (memq sml-font-lock-symbols '(t japanese-jisx0208))          (memq sml-font-lock-symbols '(t japanese-jisx0208))
193          (list (cons "fn" (make-char 'japanese-jisx0208 38 75))          (list (cons "fn" (make-char 'japanese-jisx0208 38 75))
194                  (cons "andalso" (make-char 'japanese-jisx0208 34 74))
195                  (cons "orelse" (make-char 'japanese-jisx0208 34 75))
196                  ;; (cons "as" (make-char 'japanese-jisx0208 34 97))
197                  (cons "not" (make-char 'japanese-jisx0208 34 76))
198                  (cons "div" (make-char 'japanese-jisx0208 33 96))
199                  ;; (cons "*" (make-char 'japanese-jisx0208 33 95))
200                (cons "->" (make-char 'japanese-jisx0208 34 42))                (cons "->" (make-char 'japanese-jisx0208 34 42))
201                (cons "=>" (make-char 'japanese-jisx0208 34 77))                (cons "=>" (make-char 'japanese-jisx0208 34 77))
202                (cons "<-" (make-char 'japanese-jisx0208 34 43))                (cons "<-" (make-char 'japanese-jisx0208 34 43))
203                  (cons "<>" (make-char 'japanese-jisx0208 33 98))
204                (cons ">=" (make-char 'japanese-jisx0208 33 102))                (cons ">=" (make-char 'japanese-jisx0208 33 102))
205                (cons "<=" (make-char 'japanese-jisx0208 33 101))                (cons "<=" (make-char 'japanese-jisx0208 33 101))
206                  (cons "..." (make-char 'japanese-jisx0208 33 68))
207                ;; Some greek letters for type parameters.                ;; Some greek letters for type parameters.
208                (cons "'a" (make-char 'japanese-jisx0208 38 65))                (cons "'a" (make-char 'japanese-jisx0208 38 65))
209                (cons "'b" (make-char 'japanese-jisx0208 38 66))                (cons "'b" (make-char 'japanese-jisx0208 38 66))
# Line 206  Line 214 
214     (and (fboundp 'decode-char)     (and (fboundp 'decode-char)
215          (memq sml-font-lock-symbols '(t unicode))          (memq sml-font-lock-symbols '(t unicode))
216          (list (cons "fn" (decode-char 'ucs 955))          (list (cons "fn" (decode-char 'ucs 955))
217                  (cons "andalso" (decode-char 'ucs 8896))
218                  (cons "orelse" (decode-char 'ucs 8897))
219                  ;; (cons "as" (decode-char 'ucs 8801))
220                  (cons "not" (decode-char 'ucs 160))
221                  (cons "div" (decode-char 'ucs 247))
222                  (cons "*" (decode-char 'ucs 215))
223                (cons "o"  (decode-char 'ucs 9675))                (cons "o"  (decode-char 'ucs 9675))
224                (cons "->" (decode-char 'ucs 8594))                (cons "->" (decode-char 'ucs 8594))
225                (cons "=>" (decode-char 'ucs 8658))                (cons "=>" (decode-char 'ucs 8658))
226                (cons "<-" (decode-char 'ucs 8592))                (cons "<-" (decode-char 'ucs 8592))
227                  (cons "<>" (decode-char 'ucs 8800))
228                (cons ">=" (decode-char 'ucs 8805))                (cons ">=" (decode-char 'ucs 8805))
229                (cons "<=" (decode-char 'ucs 8804))                (cons "<=" (decode-char 'ucs 8804))
230                  (cons "..." (decode-char 'ucs 8943))
231                ;; (cons "::" (decode-char 'ucs 8759))                ;; (cons "::" (decode-char 'ucs 8759))
232                ;; Some greek letters for type parameters.                ;; Some greek letters for type parameters.
233                (cons "'a" (decode-char 'ucs 945))                (cons "'a" (decode-char 'ucs 945))

Legend:
Removed from v.1710  
changed lines
  Added in v.1711

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0