Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/basis/basis-names.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/basis/basis-names.sml

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

revision 2164, Fri Feb 22 22:44:05 2013 UTC revision 2165, Fri Feb 22 22:44:32 2013 UTC
# Line 41  Line 41 
41      val op_D = Atom.atom "∇"                  (* u2207 *)      val op_D = Atom.atom "∇"                  (* u2207 *)
42      val op_Ddot = Atom.atom "∇•"            (* u2207, u2022 *)      val op_Ddot = Atom.atom "∇•"            (* u2207, u2022 *)
43      val op_Dotimes = Atom.atom "∇⊗"         (* u2207, u2297 *)      val op_Dotimes = Atom.atom "∇⊗"         (* u2207, u2297 *)
44      val op_Dtimes = Atom.atom "∇×"           (* u2207, u00d7 *)      val op_curl = Atom.atom "∇×"             (* u2207, u00d7 *)
45      val op_norm = Atom.atom "|()|"      val op_norm = Atom.atom "|()|"
46    
47    (* function names *)    (* function names *)

Legend:
Removed from v.2164  
changed lines
  Added in v.2165

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