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

SCM Repository

[smlnj] Log of /doc
ViewVC logotype

Log of /doc

View Directory Listing Directory Listing


Sticky Revision:

Revision 4501 - Directory Listing
Modified Mon Oct 16 20:52:47 2017 UTC (8 weeks, 4 days ago) by jhr
adding notes to changelog

Revision 4488 - Directory Listing
Modified Sat Oct 14 18:30:08 2017 UTC (2 months ago) by jhr
decrease spacing in columns

Revision 4486 - Directory Listing
Modified Sat Oct 14 17:28:46 2017 UTC (2 months ago) by jhr
Release 110.82

Revision 4468 - Directory Listing
Modified Sat Oct 14 14:52:39 2017 UTC (2 months ago) by jhr
  fix some formating and spelling mistakes

Revision 4467 - Directory Listing
Modified Sat Oct 14 14:29:38 2017 UTC (2 months ago) by jhr
  Updates for 110.82 release

Revision 4461 - Directory Listing
Modified Sun Oct 1 22:04:30 2017 UTC (2 months, 2 weeks ago) by jhr
  Update for IntInf.{mod,rem} bugfix.

Revision 4420 - Directory Listing
Modified Mon Sep 18 21:55:29 2017 UTC (2 months, 3 weeks ago) by jhr
primop cleanup

Revision 4417 - Directory Listing
Modified Mon Sep 18 20:43:36 2017 UTC (2 months, 3 weeks ago) by jhr
minor edits

Revision 4415 - Directory Listing
Modified Mon Sep 18 20:38:19 2017 UTC (2 months, 3 weeks ago) by dbm
bug fix for 123 added to HISTORY.txt and 110.83 release notes

Revision 4414 - Directory Listing
Modified Mon Sep 18 20:20:11 2017 UTC (2 months, 3 weeks ago) by jhr
  Get bug # right (183, not 173).

Revision 4413 - Directory Listing
Modified Mon Sep 18 20:17:08 2017 UTC (2 months, 3 weeks ago) by jhr
Fix bug #183 (status code returned by sml REPL).

Revision 4399 - Directory Listing
Modified Mon Aug 28 14:27:59 2017 UTC (3 months, 2 weeks ago) by jhr
  Fix for bug #185.

Revision 4375 - Directory Listing
Modified Sun Aug 13 13:27:41 2017 UTC (4 months ago) by jhr
update HISTORY

Revision 4369 - Directory Listing
Modified Wed Jun 7 22:57:05 2017 UTC (6 months, 1 week ago) by jhr
macOS 10.13 support

Revision 4368 - Directory Listing
Modified Wed Jun 7 22:56:27 2017 UTC (6 months, 1 week ago) by jhr
macOS 10.13 support

Revision 4366 - Directory Listing
Modified Wed May 17 19:01:20 2017 UTC (6 months, 4 weeks ago) by jhr
  JSON library bugfix

Revision 4357 - Directory Listing
Modified Tue May 2 14:41:01 2017 UTC (7 months, 2 weeks ago) by jhr
Release 110.81

Revision 4341 - Directory Listing
Modified Tue May 2 14:36:17 2017 UTC (7 months, 2 weeks ago) by jhr
  add missing bugfix

Revision 4340 - Directory Listing
Modified Tue May 2 14:24:04 2017 UTC (7 months, 2 weeks ago) by jhr
preparing for 110.81 release

Revision 4337 - Directory Listing
Modified Sun Apr 30 14:28:26 2017 UTC (7 months, 2 weeks ago) by jhr
  editing 110.81 README

Revision 4334 - Directory Listing
Modified Sat Apr 29 16:28:42 2017 UTC (7 months, 2 weeks ago) by jhr
  updating README and HISTORY in preparation for 110.81

Revision 4331 - Directory Listing
Modified Fri Apr 28 19:45:04 2017 UTC (7 months, 2 weeks ago) by jhr
  bug #129 fixed

Revision 4324 - Directory Listing
Modified Fri Apr 7 17:48:20 2017 UTC (8 months, 1 week ago) by jhr
fixed bug 179

Revision 4322 - Directory Listing
Modified Thu Feb 9 18:09:32 2017 UTC (10 months ago) by jhr
  updates; bug #175 fixed

Revision 4320 - Directory Listing
Modified Sat Oct 15 13:04:24 2016 UTC (14 months ago) by jhr
  update HISTORY and 110.81 README

Revision 4319 - Directory Listing
Modified Mon Sep 26 00:02:34 2016 UTC (14 months, 2 weeks ago) by jhr
  updates to HISTORY.txt and 110.81 README

Revision 4317 - Directory Listing
Modified Fri Sep 16 04:44:29 2016 UTC (14 months, 4 weeks ago) by jhr
update HISTORY

Revision 4315 - Directory Listing
Modified Thu Sep 15 23:20:13 2016 UTC (14 months, 4 weeks ago) by dbm
added update on FLINT - Front-end cleanup to HISTORY.txt

Revision 4311 - Directory Listing
Modified Thu Sep 15 04:18:46 2016 UTC (15 months ago) by dbm
updated HISTORY.txt and 110.80-README.html with info about front-end cleanup

Revision 4310 - Directory Listing
Modified Thu Sep 15 01:37:11 2016 UTC (15 months ago) by jhr
update changelog and 110.81 readme

Revision 4300 - Directory Listing
Modified Tue Sep 13 01:22:45 2016 UTC (15 months ago) by jhr
  Fixed bug 153

Revision 4298 - Directory Listing
Modified Mon Sep 12 18:33:48 2016 UTC (15 months ago) by dbm
added fix for bug 149 to HISTORY.txt and created 110.81-README.html

Revision 4286 - Directory Listing
Modified Fri Aug 19 12:31:15 2016 UTC (15 months, 3 weeks ago) by jhr
Release 110.80

Revision 4268 - Directory Listing
Modified Fri Aug 19 12:16:07 2016 UTC (15 months, 3 weeks ago) by jhr
 last minute tweak to README

Revision 4266 - Directory Listing
Modified Fri Aug 19 12:04:55 2016 UTC (15 months, 3 weeks ago) by jhr
remove template for 110.81 README

Revision 4265 - Directory Listing
Modified Thu Aug 18 23:46:27 2016 UTC (15 months, 3 weeks ago) by jhr
  remove comment

Revision 4262 - Directory Listing
Modified Thu Aug 18 14:38:59 2016 UTC (15 months, 4 weeks ago) by jhr
  fix spelling

Revision 4260 - Directory Listing
Modified Thu Aug 18 13:29:10 2016 UTC (15 months, 4 weeks ago) by jhr
  Preparing for 110.80 release.

Revision 4256 - Directory Listing
Modified Tue Aug 16 15:07:24 2016 UTC (15 months, 4 weeks ago) by jhr
  Record fix for bug 151

Revision 4255 - Directory Listing
Modified Wed Aug 10 14:24:49 2016 UTC (16 months ago) by jhr
  updates

Revision 4253 - Directory Listing
Modified Wed Aug 10 13:06:06 2016 UTC (16 months ago) by jhr
update HISTORY

Revision 4252 - Directory Listing
Modified Tue Aug 9 19:32:33 2016 UTC (16 months ago) by jhr
  update README

Revision 4250 - Directory Listing
Modified Tue Aug 9 18:58:20 2016 UTC (16 months ago) by dbm
Added bug145 fix to src/changelog/HISTORY.txt

Revision 4248 - Directory Listing
Modified Thu Aug 4 14:44:09 2016 UTC (16 months, 1 week ago) by jhr
  Updates to changelog

Revision 4245 - Directory Listing
Modified Wed Aug 3 13:51:49 2016 UTC (16 months, 1 week ago) by jhr
update 110.80 README

Revision 4241 - Directory Listing
Modified Thu Jun 30 15:58:57 2016 UTC (17 months, 2 weeks ago) by jhr
  update 110.80 README

Revision 4240 - Directory Listing
Modified Tue Jun 21 14:48:45 2016 UTC (17 months, 3 weeks ago) by mrainey
Documenting bug fix for bug in amd64 code generator in MLRISC

Revision 4236 - Directory Listing
Modified Thu Jun 16 19:25:59 2016 UTC (17 months, 4 weeks ago) by jhr
update 110.80 README

Revision 4235 - Directory Listing
Modified Thu Jun 16 19:13:14 2016 UTC (17 months, 4 weeks ago) by jhr
added fix for bug 150

Revision 4233 - Directory Listing
Modified Wed Jun 15 16:43:03 2016 UTC (18 months ago) by jhr
  update README for 110.80

Revision 4230 - Directory Listing
Modified Wed May 11 15:18:46 2016 UTC (19 months ago) by jhr
  updating history

Revision 4226 - Directory Listing
Modified Tue May 3 23:22:42 2016 UTC (19 months, 1 week ago) by jhr
  update with bugfix

Revision 4222 - Directory Listing
Modified Sun Apr 17 12:59:43 2016 UTC (19 months, 4 weeks ago) by jhr
working on 110.80 README

Revision 4221 - Directory Listing
Modified Thu Apr 7 13:09:27 2016 UTC (20 months, 1 week ago) by jhr
  update HISTORY

Revision 4220 - Directory Listing
Modified Thu Apr 7 12:00:36 2016 UTC (20 months, 1 week ago) by jhr
  update HISTORY

Revision 4216 - Directory Listing
Modified Sat Apr 2 20:13:27 2016 UTC (20 months, 1 week ago) by jhr
ml-ulex bug fix

Revision 4206 - Directory Listing
Modified Mon Dec 7 19:50:46 2015 UTC (2 years ago) by jhr
  added bugfixes to 110.80 README

Revision 4204 - Directory Listing
Modified Mon Nov 9 15:43:29 2015 UTC (2 years, 1 month ago) by jhr
  update HISTORY

Revision 4201 - Directory Listing
Modified Wed Oct 28 20:46:45 2015 UTC (2 years, 1 month ago) by jhr
  added note about Error exception

Revision 4199 - Directory Listing
Modified Wed Oct 28 17:01:57 2015 UTC (2 years, 1 month ago) by jhr
add README for upcoming 110.80 release

Revision 4198 - Directory Listing
Modified Wed Oct 28 17:01:35 2015 UTC (2 years, 1 month ago) by jhr
fixed a typo in the 110.79 README

Revision 4180 - Directory Listing
Modified Sun Oct 4 19:37:32 2015 UTC (2 years, 2 months ago) by jhr
Release 110.79

Revision 4164 - Directory Listing
Modified Sun Oct 4 19:25:28 2015 UTC (2 years, 2 months ago) by jhr
  a couple of last-minute edits to release notes

Revision 4157 - Directory Listing
Modified Sun Oct 4 15:19:29 2015 UTC (2 years, 2 months ago) by jhr
finalizing README and HISTORY for 110.79

Revision 4151 - Directory Listing
Modified Tue Sep 29 01:05:19 2015 UTC (2 years, 2 months ago) by jhr
  updating HISTORY and README

Revision 4147 - Directory Listing
Modified Mon Sep 28 22:09:03 2015 UTC (2 years, 2 months ago) by jhr
  updating HISTORY and README

Revision 4141 - Directory Listing
Modified Mon Sep 28 15:47:32 2015 UTC (2 years, 2 months ago) by jhr
  update HISTORY/README for bug fixes

Revision 4139 - Directory Listing
Modified Sun Sep 27 13:42:48 2015 UTC (2 years, 2 months ago) by jhr
  updating documentation

Revision 4134 - Directory Listing
Modified Sat Sep 26 22:35:38 2015 UTC (2 years, 2 months ago) by jhr
  update HISTORY

Revision 4131 - Directory Listing
Modified Fri Sep 25 23:01:41 2015 UTC (2 years, 2 months ago) by jhr
  update to README

Revision 4126 - Directory Listing
Modified Fri Sep 25 13:48:59 2015 UTC (2 years, 2 months ago) by jhr
update for fixing #82

Revision 4122 - Directory Listing
Modified Thu Sep 24 20:21:05 2015 UTC (2 years, 2 months ago) by jhr
  Record fix for bug #45 (Compiler bug in specialize phase).

Revision 4116 - Directory Listing
Modified Tue Sep 22 15:17:16 2015 UTC (2 years, 2 months ago) by jhr
fixing HTML syntax issues

Revision 4115 - Directory Listing
Modified Tue Sep 22 15:05:23 2015 UTC (2 years, 2 months ago) by jhr
  updates to 110.79 README

Revision 4114 - Directory Listing
Modified Tue Sep 22 14:29:25 2015 UTC (2 years, 2 months ago) by jhr
  update to README for 110.79

Revision 4107 - Directory Listing
Modified Mon Sep 21 16:59:07 2015 UTC (2 years, 2 months ago) by jhr
  updates to HISTORY and README

Revision 4105 - Directory Listing
Modified Mon Sep 21 16:02:25 2015 UTC (2 years, 2 months ago) by jhr
  update HISTORY with Basis Library changes

Revision 4101 - Directory Listing
Modified Mon Sep 21 13:11:37 2015 UTC (2 years, 2 months ago) by jhr
  fixing formatting issues in various places in HISTORY.txt

Revision 4098 - Directory Listing
Modified Sat Aug 22 13:13:53 2015 UTC (2 years, 3 months ago) by jhr
  getting the release notes and history to agree

Revision 4097 - Directory Listing
Modified Sat Aug 22 12:57:11 2015 UTC (2 years, 3 months ago) by jhr
Fixed bug #136 (Incorrect raising of exceptions in Real.fmt and Time.fmt)

Revision 4095 - Directory Listing
Modified Sat Aug 22 12:45:53 2015 UTC (2 years, 3 months ago) by jhr
  updates to release notes

Revision 4086 - Directory Listing
Modified Thu Jul 23 10:09:24 2015 UTC (2 years, 4 months ago) by jhr
  fixed bug #135

Revision 4081 - Directory Listing
Modified Thu Jul 9 09:28:56 2015 UTC (2 years, 5 months ago) by jhr
  update 110.79 README

Revision 4078 - Directory Listing
Modified Thu Jul 9 08:34:01 2015 UTC (2 years, 5 months ago) by jhr
create initial README for 110.79

Revision 4077 - Directory Listing
Modified Thu Jul 9 08:05:12 2015 UTC (2 years, 5 months ago) by jhr
added bug cross reference

Revision 4076 - Directory Listing
Modified Thu Jul 9 07:56:29 2015 UTC (2 years, 5 months ago) by jhr
  update arch-n-opsys script for newer Linux kernels (4.*)

Revision 4074 - Directory Listing
Modified Mon Jun 15 14:17:23 2015 UTC (2 years, 6 months ago) by jhr
  update to change log

Revision 4068 - Directory Listing
Modified Tue Jun 9 16:52:03 2015 UTC (2 years, 6 months ago) by jhr
  working on writeup of lazy feature

Revision 4067 - Directory Listing
Modified Mon Jun 8 16:08:15 2015 UTC (2 years, 6 months ago) by jhr
  minor correction to match sML definition

Revision 4066 - Directory Listing
Modified Fri Jun 5 16:09:48 2015 UTC (2 years, 6 months ago) by jhr
  adding documentation for SML/NJ language extensions

Revision 4063 - Directory Listing
Modified Fri May 29 08:23:00 2015 UTC (2 years, 6 months ago) by jhr
  adding extensions directory to documentation tree

Revision 4062 - Directory Listing
Modified Fri May 29 08:15:03 2015 UTC (2 years, 6 months ago) by jhr
  more details for HISTORY.txt

Revision 4060 - Directory Listing
Modified Fri May 29 07:28:12 2015 UTC (2 years, 6 months ago) by jhr
  Update history

Revision 4049 - Directory Listing
Modified Sun Dec 28 14:19:56 2014 UTC (2 years, 11 months ago) by jhr
  minor tweaks to HISTORY

Revision 4040 - Directory Listing
Modified Sun Dec 21 18:27:35 2014 UTC (2 years, 11 months ago) by jhr
  Fix Makefile bug

Revision 4038 - Directory Listing
Modified Sun Dec 21 17:59:34 2014 UTC (2 years, 11 months ago) by jhr
  update README

Revision 4037 - Directory Listing
Modified Sun Dec 21 17:57:21 2014 UTC (2 years, 11 months ago) by jhr
  update release date for 110.78 to 12/24

Revision 4035 - Directory Listing
Modified Sun Dec 21 17:51:41 2014 UTC (2 years, 11 months ago) by jhr
  change release date to 12/24

Revision 4033 - Directory Listing
Modified Sun Dec 21 17:24:30 2014 UTC (2 years, 11 months ago) by jhr
  tweaking documentation build process

Revision 4030 - Directory Listing
Modified Sun Dec 21 16:26:31 2014 UTC (2 years, 11 months ago) by jhr
added file to wrong directory

Revision 4029 - Directory Listing
Modified Sun Dec 21 16:23:50 2014 UTC (2 years, 11 months ago) by jhr
  added releasedate file

Revision 4028 - Directory Listing
Modified Sun Dec 21 16:21:05 2014 UTC (2 years, 11 months ago) by jhr
  Added configure support for specifying the release date and version

Revision 4027 - Directory Listing
Modified Sun Dec 21 16:19:23 2014 UTC (2 years, 11 months ago) by jhr
  added attributes

Revision 4025 - Directory Listing
Modified Sat Dec 20 21:08:13 2014 UTC (2 years, 11 months ago) by jhr
  adding Makefile.in for changelog

Revision 4021 - Directory Listing
Modified Sat Dec 20 20:29:23 2014 UTC (2 years, 11 months ago) by jhr
Release 110.78

Revision 4020 - Directory Listing
Modified Sat Dec 20 20:27:25 2014 UTC (2 years, 11 months ago) by jhr
  Create releases directory for doc tree

Revision 4019 - Directory Listing
Modified Sat Dec 20 20:26:21 2014 UTC (2 years, 11 months ago) by jhr
  edit doc Makefile to preserve generated documentation files for distclean target

Revision 4002 - Directory Listing
Modified Sat Dec 20 16:46:57 2014 UTC (2 years, 11 months ago) by jhr
  Cleaning HISTORY.txt (done back to 110.46).  Finished 110.78 README
  file.

Revision 4001 - Directory Listing
Modified Sat Dec 20 00:08:33 2014 UTC (2 years, 11 months ago) by dbm
updated HISTORY.txt with fix for bug 52

Revision 3998 - Directory Listing
Modified Thu Dec 18 15:44:07 2014 UTC (2 years, 11 months ago) by jhr
  adding build support for changelog

Revision 3996 - Directory Listing
Modified Thu Dec 18 15:04:27 2014 UTC (2 years, 11 months ago) by jhr
  put READMEs into doc/src/release-notes directory

Revision 3995 - Directory Listing
Modified Thu Dec 18 14:57:02 2014 UTC (2 years, 11 months ago) by jhr
  working on ASCIIDOC conversion

Revision 3994 - Directory Listing
Modified Mon Dec 15 19:45:23 2014 UTC (3 years ago) by jhr
  Working on documentation

Revision 3992 - Directory Listing
Modified Sun Dec 14 22:50:30 2014 UTC (3 years ago) by jhr
  working on converting HISTORY to ASCIIDOC

Revision 3948 - Directory Listing
Modified Fri Aug 22 22:01:36 2014 UTC (3 years, 3 months ago) by jhr
  Working on documentation distribution

Revision 3947 - Directory Listing
Modified Fri Aug 22 21:57:42 2014 UTC (3 years, 3 months ago) by jhr
  Tweak manpage build

Revision 3923 - Directory Listing
Modified Thu Aug 21 13:11:01 2014 UTC (3 years, 3 months ago) by jhr
  Tweaking documentation

Revision 3920 - Directory Listing
Modified Wed Aug 20 16:21:10 2014 UTC (3 years, 3 months ago) by jhr
  working on manual pages

Revision 3919 - Directory Listing
Modified Wed Aug 20 15:18:48 2014 UTC (3 years, 3 months ago) by jhr
  working on manpages

Revision 3918 - Directory Listing
Modified Wed Aug 20 15:13:23 2014 UTC (3 years, 3 months ago) by jhr
  Working on documentation

Revision 3917 - Directory Listing
Modified Wed Aug 20 15:05:46 2014 UTC (3 years, 3 months ago) by jhr
  describe -S option

Revision 3916 - Directory Listing
Modified Wed Aug 20 14:12:30 2014 UTC (3 years, 3 months ago) by jhr
  Working on manual pages

Revision 3908 - Directory Listing
Modified Mon Aug 18 18:23:16 2014 UTC (3 years, 3 months ago) by jhr
  Working on man pages

Revision 3907 - Directory Listing
Modified Mon Aug 18 17:59:41 2014 UTC (3 years, 3 months ago) by jhr
  working on man pages

Revision 3906 - Directory Listing
Modified Mon Aug 18 13:24:18 2014 UTC (3 years, 3 months ago) by jhr
  Working on documentation toolchain and build scripts

Revision 3900 - Directory Listing
Modified Thu Jul 31 20:02:38 2014 UTC (3 years, 4 months ago) by jhr
  Working on manpages

Revision 3890 - Directory Listing
Modified Fri Jul 4 16:55:49 2014 UTC (3 years, 5 months ago) by jhr
  Initial templates for command-line tool manual pages.

Revision 3888 - Directory Listing
Added Fri Jul 4 15:46:02 2014 UTC (3 years, 5 months ago) by jhr
  Create directory for holding SML/NJ documentation

Sort log by:

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