Diff of /sml/trunk/src/cm/tools/tools.sml

Parent Directory | Revision Log | Patch

	revision 320, Tue Jun 8 07:42:11 1999 UTC	revision 321, Tue Jun 8 08:14:28 1999 UTC
#	Line 291	Line 291
291
292	type cmdGetterSetter = string option -> string	type cmdGetterSetter = string option -> string
293
294	fun newCmdGetterSetter sp = EnvConfig.new SOME sp	fun newCmdGetterSetter sp = EnvConfig.getSet (EnvConfig.new SOME sp)
295
296	fun registerStdShellCmdTool arg = let	fun registerStdShellCmdTool arg = let
297	val { tool, class, suffixes, command, extensionStyle, sml } = arg	val { tool, class, suffixes, command, extensionStyle, sml } = arg

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.320   changed lines   Added in v.321

---

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