hcoop/mlt.git
5 years agoUpdate for SMLNJ 110.74 master
Clinton Ebadi [Fri, 21 Feb 2014 09:10:32 +0000 (04:10 -0500)]
Update for SMLNJ 110.74
`Unify.unifyTy' wants a source region. Pass the null region, since MLT
doesn't have working support for tracking source positions anyway.

8 years agoupdated for SML/NJ 110.72
BT Templeton [Thu, 10 Feb 2011 15:26:24 +0000 (10:26 -0500)]
updated for SML/NJ 110.72

* src/mlt.sml: Pass [] as the last argument to ModuleUtil.getStr. Use
  PrettyPrintNew instead of PrettyPrint.

* src/sources.cm: Import the compiler library.

11 years agoinstall script needs bash origin
Adam Chlipala [Sun, 6 Apr 2008 16:31:32 +0000 (16:31 +0000)]
install script needs bash

11 years agobuild script needs bash
Adam Chlipala [Sun, 6 Apr 2008 16:30:52 +0000 (16:30 +0000)]
build script needs bash

12 years ago.cvsignore
Adam Chlipala [Sun, 11 Feb 2007 21:15:45 +0000 (21:15 +0000)]
.cvsignore

12 years agoSwitch to using OS.Path in Compiler
Adam Chlipala [Sun, 11 Feb 2007 21:14:31 +0000 (21:14 +0000)]
Switch to using OS.Path in Compiler

12 years agoChange uses of Substring.all (obsolete) to Substring.full
Adam Chlipala [Sun, 11 Feb 2007 20:30:13 +0000 (20:30 +0000)]
Change uses of Substring.all (obsolete) to Substring.full

14 years agoFix 'elseif' doc bug
Adam Chlipala [Fri, 15 Apr 2005 17:19:56 +0000 (17:19 +0000)]
Fix 'elseif' doc bug

14 years agoBetter reporting of cascading exceptions
Adam Chlipala [Fri, 15 Apr 2005 17:11:38 +0000 (17:11 +0000)]
Better reporting of cascading exceptions

14 years agoWorld's smallest doc fix
Adam Chlipala [Wed, 23 Feb 2005 01:25:47 +0000 (01:25 +0000)]
World's smallest doc fix

15 years agoCatch the right Io exception
Adam Chlipala [Wed, 29 Sep 2004 00:05:51 +0000 (00:05 +0000)]
Catch the right Io exception

15 years agoTypo\!
Adam Chlipala [Tue, 28 Sep 2004 13:13:15 +0000 (13:13 +0000)]
Typo\!

15 years agoSpecify POSIX in BUILDING
Adam Chlipala [Tue, 28 Sep 2004 12:19:42 +0000 (12:19 +0000)]
Specify POSIX in BUILDING

15 years agoAutomatically generate mlt.conf
Adam Chlipala [Thu, 23 Sep 2004 14:20:31 +0000 (14:20 +0000)]
Automatically generate mlt.conf

15 years agoChange BUILDING wording
Adam Chlipala [Wed, 22 Sep 2004 03:31:23 +0000 (03:31 +0000)]
Change BUILDING wording

15 years agoRemove src/mlt
Adam Chlipala [Wed, 22 Sep 2004 03:19:34 +0000 (03:19 +0000)]
Remove src/mlt

15 years agoAuto-generate settings.sml
Adam Chlipala [Wed, 22 Sep 2004 03:18:16 +0000 (03:18 +0000)]
Auto-generate settings.sml

15 years ago.cvsignore
Adam Chlipala [Wed, 22 Sep 2004 03:17:07 +0000 (03:17 +0000)]
.cvsignore

15 years agoAutomatically generate settings.sml
Adam Chlipala [Wed, 22 Sep 2004 03:16:22 +0000 (03:16 +0000)]
Automatically generate settings.sml

15 years agoFixing installation process
Adam Chlipala [Wed, 22 Sep 2004 03:07:33 +0000 (03:07 +0000)]
Fixing installation process

15 years agoMore un-hardcoding
Adam Chlipala [Wed, 22 Sep 2004 02:37:43 +0000 (02:37 +0000)]
More un-hardcoding

15 years agoMore un-hardcoding
Adam Chlipala [Wed, 22 Sep 2004 02:37:00 +0000 (02:37 +0000)]
More un-hardcoding

15 years agoUn-hard code some things
Adam Chlipala [Wed, 22 Sep 2004 02:27:21 +0000 (02:27 +0000)]
Un-hard code some things

15 years agoChange BUILDING to only discuss 110.49+
Adam Chlipala [Thu, 16 Sep 2004 15:34:05 +0000 (15:34 +0000)]
Change BUILDING to only discuss 110.49+

15 years agoFixing for 110.46
Adam Chlipala [Thu, 12 Aug 2004 06:37:15 +0000 (06:37 +0000)]
Fixing for 110.46

15 years agoUpdated for SML/NJ 110.46+
Adam Chlipala [Thu, 12 Aug 2004 04:28:37 +0000 (04:28 +0000)]
Updated for SML/NJ 110.46+

15 years agoChanged handling of response headers to allow multiple values; added documentation...
Adam Chlipala [Sun, 11 Jan 2004 00:30:34 +0000 (00:30 +0000)]
Changed handling of response headers to allow multiple values; added documentation in code and manual

16 years agoVarious improvements made while working on relwiki
Adam Chlipala [Sun, 14 Sep 2003 00:21:15 +0000 (00:21 +0000)]
Various improvements made while working on relwiki

16 years agoadd base mlt.conf file that should go in /etc/mlt.conf
Adam Chlipala [Sun, 10 Aug 2003 17:10:06 +0000 (17:10 +0000)]
add base mlt.conf file that should go in /etc/mlt.conf

16 years agoAdd before, after, and exn config directives
Adam Chlipala [Sun, 10 Aug 2003 16:56:30 +0000 (16:56 +0000)]
Add before, after, and exn config directives

16 years agoFixed Tuples heading
Adam Chlipala [Sun, 10 Aug 2003 02:32:27 +0000 (02:32 +0000)]
Fixed Tuples heading

16 years agoString quoting for SQL queries
Adam Chlipala [Sun, 10 Aug 2003 02:18:25 +0000 (02:18 +0000)]
String quoting for SQL queries

16 years agoTemplate language overhaul & misc. improvements
Adam Chlipala [Sun, 10 Aug 2003 02:17:40 +0000 (02:17 +0000)]
Template language overhaul & misc. improvements

16 years agoInitial revision
Adam Chlipala [Sat, 2 Aug 2003 15:02:38 +0000 (15:02 +0000)]
Initial revision