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/trunk/src
ViewVC logotype

Log of /doc/trunk/src

View Directory Listing Directory Listing


Sticky Revision:

Revision 5565 - Directory Listing
Modified Tue Jul 16 15:22:42 2019 UTC (6 days, 19 hours ago) by jhr
update HISTORY

Revision 5548 - Directory Listing
Modified Thu Jul 11 20:43:25 2019 UTC (11 days, 14 hours ago) by jhr
update HISTORY

Revision 5536 - Directory Listing
Modified Tue Jul 9 22:47:14 2019 UTC (13 days, 12 hours ago) by jhr
  update HISTORY and add README template for 110.92

Revision 5527 - Directory Listing
Modified Sat Jun 29 16:42:43 2019 UTC (3 weeks, 2 days ago) by jhr
update HISTORY

Revision 5526 - Directory Listing
Modified Sat Jun 29 16:29:01 2019 UTC (3 weeks, 2 days ago) by jhr
update HISTORY

Revision 5485 - Directory Listing
Modified Thu Jun 20 15:59:30 2019 UTC (4 weeks, 4 days ago) by jhr
preparing for 110.91

Revision 5475 - Directory Listing
Modified Thu Jun 20 14:09:35 2019 UTC (4 weeks, 4 days ago) by jhr
preparing for 110.91

Revision 5471 - Directory Listing
Modified Wed Jun 19 21:17:21 2019 UTC (4 weeks, 5 days ago) by jhr
update HISTORY

Revision 5453 - Directory Listing
Modified Tue Jun 18 14:35:04 2019 UTC (4 weeks, 6 days ago) by jhr
  update HISTORY

Revision 5450 - Directory Listing
Modified Mon Jun 17 14:27:35 2019 UTC (5 weeks ago) by jhr
preparing for 110.91

Revision 5449 - Directory Listing
Modified Sun Jun 16 17:57:57 2019 UTC (5 weeks, 1 day ago) by jhr
update HISTORY.txt

Revision 5425 - Directory Listing
Modified Thu Jun 13 13:16:17 2019 UTC (5 weeks, 4 days ago) by jhr
fix typo in release notes

Revision 5406 - Directory Listing
Modified Wed Jun 12 23:06:08 2019 UTC (5 weeks, 5 days ago) by jhr
preparing for 110.90

Revision 5405 - Directory Listing
Modified Wed Jun 12 23:05:07 2019 UTC (5 weeks, 5 days ago) by jhr
preparing for 110.90

Revision 5401 - Directory Listing
Modified Wed Jun 12 21:19:01 2019 UTC (5 weeks, 5 days ago) by jhr
  update HISTORY

Revision 5365 - Directory Listing
Modified Mon Jun 10 12:12:06 2019 UTC (6 weeks ago) by jhr
updates for 110.90 release

Revision 5355 - Directory Listing
Modified Sun Jun 9 04:26:44 2019 UTC (6 weeks, 2 days ago) by blume
Added entry about the fix for bug 222 to the history.

Revision 5349 - Directory Listing
Modified Sun Jun 9 00:38:00 2019 UTC (6 weeks, 2 days ago) by jhr
create README for 110.90

Revision 5288 - Directory Listing
Modified Sun Jun 2 13:21:11 2019 UTC (7 weeks, 1 day ago) by jhr
  use superscript markup instead of latexmath to avoid the need
  for JavaScript

Revision 5261 - Directory Listing
Modified Sun Jun 2 04:35:26 2019 UTC (7 weeks, 2 days ago) by jhr
update release notes and change log for 110.89

Revision 5228 - Directory Listing
Modified Thu May 30 17:51:06 2019 UTC (7 weeks, 4 days ago) by jhr
update HISTORY

Revision 5212 - Directory Listing
Modified Wed May 29 17:29:01 2019 UTC (7 weeks, 5 days ago) by jhr
fix date

Revision 5211 - Directory Listing
Modified Wed May 29 17:28:32 2019 UTC (7 weeks, 5 days ago) by jhr
  update HISTORY.txt

Revision 5174 - Directory Listing
Modified Wed May 15 14:20:37 2019 UTC (2 months, 1 week ago) by jhr
  preparing for 110.88 release

Revision 5170 - Directory Listing
Modified Wed May 15 13:24:43 2019 UTC (2 months, 1 week ago) by jhr
  Update HISTORY for num64 changes

Revision 5149 - Directory Listing
Modified Thu May 9 12:40:45 2019 UTC (2 months, 2 weeks ago) by jhr
update HISTORY

Revision 5109 - Directory Listing
Modified Sun May 5 12:13:20 2019 UTC (2 months, 2 weeks ago) by jhr
update HISTORY

Revision 5075 - Directory Listing
Modified Fri May 3 22:29:26 2019 UTC (2 months, 2 weeks ago) by jhr
  Added 110.87 README and updated history

Revision 5052 - Directory Listing
Modified Thu May 2 13:36:42 2019 UTC (2 months, 3 weeks ago) by jhr
fix date in 110.86 README

Revision 5032 - Directory Listing
Modified Thu May 2 12:46:40 2019 UTC (2 months, 3 weeks ago) by jhr
  preparing for 110.86 release

Revision 5031 - Directory Listing
Modified Thu May 2 12:34:27 2019 UTC (2 months, 3 weeks ago) by jhr
  update HISTORY for 110.86

Revision 5029 - Directory Listing
Modified Thu May 2 12:06:27 2019 UTC (2 months, 3 weeks ago) by jhr
  update HISTORY

Revision 5016 - Directory Listing
Modified Mon Apr 29 01:53:17 2019 UTC (2 months, 3 weeks ago) by jhr
  update HISTORY

Revision 5011 - Directory Listing
Modified Sun Apr 28 19:03:21 2019 UTC (2 months, 3 weeks ago) by jhr
update HISTORY.txt

Revision 5008 - Directory Listing
Modified Sun Apr 28 17:23:37 2019 UTC (2 months, 3 weeks ago) by jhr
updates

Revision 5006 - Directory Listing
Modified Sun Apr 28 17:03:07 2019 UTC (2 months, 3 weeks ago) by jhr
removed unused flags from Control.CG

Revision 5003 - Directory Listing
Modified Sun Apr 28 01:34:19 2019 UTC (2 months, 3 weeks ago) by jhr
update HISTORY

Revision 4998 - Directory Listing
Modified Sat Apr 27 17:19:23 2019 UTC (2 months, 3 weeks ago) by jhr
update changelog and release notes

Revision 4987 - Directory Listing
Modified Fri Apr 26 17:12:57 2019 UTC (2 months, 3 weeks ago) by jhr
  minor primop changes

Revision 4984 - Directory Listing
Modified Thu Apr 25 22:35:54 2019 UTC (2 months, 3 weeks ago) by jhr
improve implementation of Word64 multiplication

Revision 4982 - Directory Listing
Modified Thu Apr 25 16:05:11 2019 UTC (2 months, 3 weeks ago) by jhr
working on release notes for 110.86

Revision 4981 - Directory Listing
Modified Thu Apr 25 15:55:37 2019 UTC (2 months, 3 weeks ago) by jhr
  working on release notes

Revision 4980 - Directory Listing
Modified Thu Apr 25 15:51:47 2019 UTC (2 months, 3 weeks ago) by jhr
update HISTORY

Revision 4977 - Directory Listing
Modified Tue Apr 23 15:02:02 2019 UTC (2 months, 4 weeks ago) by jhr
remove SPARC assembly code

Revision 4974 - Directory Listing
Modified Tue Apr 23 14:36:28 2019 UTC (2 months, 4 weeks ago) by jhr
bug fix for #213

Revision 4972 - Directory Listing
Modified Tue Apr 23 13:51:31 2019 UTC (2 months, 4 weeks ago) by jhr
  update changelog and release notes

Revision 4969 - Directory Listing
Modified Mon Apr 22 14:14:30 2019 UTC (3 months ago) by jhr
  update to HISTORY

Revision 4968 - Directory Listing
Modified Mon Apr 22 10:24:23 2019 UTC (3 months ago) by jhr
update HISTORY

Revision 4956 - Directory Listing
Modified Mon Apr 8 23:50:39 2019 UTC (3 months, 2 weeks ago) by jhr
fix date on 110.85 release

Revision 4954 - Directory Listing
Modified Mon Apr 8 17:34:11 2019 UTC (3 months, 2 weeks ago) by jhr
record changes

Revision 4950 - Directory Listing
Modified Sun Apr 7 15:46:24 2019 UTC (3 months, 2 weeks ago) by jhr
  History update and added infrastructure for using asciidoctor
  to generated the README files (instead of writing raw HTML).

Revision 4908 - Directory Listing
Modified Fri Dec 21 22:13:31 2018 UTC (7 months ago) by jhr
update HISTORY

Revision 4904 - Directory Listing
Modified Fri Dec 21 21:18:55 2018 UTC (7 months ago) by jhr
update release notes and change log

Revision 4901 - Directory Listing
Modified Fri Dec 21 18:33:41 2018 UTC (7 months ago) by jhr
  preparing for 110.85 release

Revision 4899 - Directory Listing
Modified Wed Dec 12 22:10:44 2018 UTC (7 months, 1 week ago) by jhr
updating release notes for 110.85

Revision 4897 - Directory Listing
Modified Sat Nov 10 17:15:37 2018 UTC (8 months, 1 week ago) by jhr
  Added entry for building on Mojave

Revision 4887 - Directory Listing
Modified Wed Oct 10 17:02:18 2018 UTC (9 months, 1 week ago) by jhr
  Update for primop removal.

Revision 4878 - Directory Listing
Modified Mon Oct 8 14:20:35 2018 UTC (9 months, 2 weeks ago) by jhr
  updaet HISTORY and create README for 110.85

Revision 4843 - Directory Listing
Modified Sun Sep 23 23:37:48 2018 UTC (9 months, 4 weeks ago) by jhr
update HISTORY

Revision 4820 - Directory Listing
Modified Thu Sep 13 15:46:01 2018 UTC (10 months, 1 week ago) by dbm
HISTORY.txt updated for 2nd cleanup of PEqual.atomeq

Revision 4816 - Directory Listing
Modified Thu Sep 13 04:12:16 2018 UTC (10 months, 1 week ago) by dbm
modified HISTORY.txt with item for 64BIT fix in matchcomp.sml

Revision 4815 - Directory Listing
Modified Thu Sep 13 03:38:27 2018 UTC (10 months, 1 week ago) by dbm
updated HISTORY.txt with item on 64BIT fix in FLINT/reps/equal.sml

Revision 4812 - Directory Listing
Modified Wed Sep 12 21:56:57 2018 UTC (10 months, 1 week ago) by dbm
added item for Pequal and Translate 64bit modifications

Revision 4809 - Directory Listing
Modified Wed Sep 12 21:50:55 2018 UTC (10 months, 1 week ago) by jhr
update HISTORY

Revision 4808 - Directory Listing
Modified Wed Sep 12 20:21:32 2018 UTC (10 months, 1 week ago) by jhr
  update HISTORY

Revision 4765 - Directory Listing
Modified Tue Sep 4 02:41:24 2018 UTC (10 months, 2 weeks ago) by jhr
  minor formatting improvements

Revision 4743 - Directory Listing
Modified Mon Sep 3 17:54:24 2018 UTC (10 months, 2 weeks ago) by jhr
  revised release notes for 110.84

Revision 4716 - Directory Listing
Modified Mon Sep 3 00:20:32 2018 UTC (10 months, 2 weeks ago) by jhr
  Updates for 110.84

Revision 4711 - Directory Listing
Modified Fri Aug 31 18:00:09 2018 UTC (10 months, 3 weeks ago) by jhr
  adding ml-burg, ml-lex, ml-yacc, and nlffi manuals as externals

Revision 4705 - Directory Listing
Modified Thu Aug 30 23:07:56 2018 UTC (10 months, 3 weeks ago) by jhr
add missing file to repo

Revision 4702 - Directory Listing
Modified Tue Aug 28 23:55:02 2018 UTC (10 months, 3 weeks ago) by jhr
  Build rules for manuals

Revision 4701 - Directory Listing
Modified Tue Aug 28 20:51:26 2018 UTC (10 months, 3 weeks ago) by jhr
  create subdirectory for external manuals

Revision 4700 - Directory Listing
Modified Tue Aug 28 15:37:21 2018 UTC (10 months, 3 weeks ago) by jhr
  update HISTORY

Revision 4687 - Directory Listing
Modified Sun Aug 26 14:48:14 2018 UTC (10 months, 3 weeks ago) by jhr
  Formatting fixes

Revision 4686 - Directory Listing
Modified Mon Aug 20 16:49:58 2018 UTC (11 months ago) by jhr
  update README

Revision 4683 - Directory Listing
Modified Sun Aug 19 15:57:59 2018 UTC (11 months ago) by jhr
  Update for bug fix (monomorphic buffers)

Revision 4673 - Directory Listing
Modified Sat Jun 16 15:31:05 2018 UTC (13 months ago) by jhr
  create release-notes for 110.84

Revision 4672 - Directory Listing
Modified Sat Jun 16 01:54:42 2018 UTC (13 months ago) by jhr
fix bug with error propagation

Revision 4639 - Directory Listing
Modified Wed May 30 16:57:35 2018 UTC (13 months, 3 weeks ago) by jhr
preparing for 110.83 release

Revision 4628 - Directory Listing
Modified Wed May 30 03:54:03 2018 UTC (13 months, 3 weeks ago) by dbm
added item about match compiler cleanup, documentation, debugging

Revision 4626 - Directory Listing
Modified Tue May 29 14:37:39 2018 UTC (13 months, 3 weeks ago) by jhr
minor edits

Revision 4624 - Directory Listing
Modified Tue May 29 14:32:43 2018 UTC (13 months, 3 weeks ago) by jhr
  update for bug fix

Revision 4621 - Directory Listing
Modified Mon May 28 17:21:58 2018 UTC (13 months, 3 weeks ago) by jhr
minor edits

Revision 4619 - Directory Listing
Modified Mon May 28 17:14:15 2018 UTC (13 months, 3 weeks ago) by jhr
  Fixed the scanner to produce the correct error message for bad escape sequences.

Revision 4614 - Directory Listing
Modified Sat May 26 12:46:49 2018 UTC (13 months, 3 weeks ago) by jhr
  Update for Char.toCString bug fix.

Revision 4610 - Directory Listing
Modified Sat May 19 14:21:10 2018 UTC (14 months ago) by jhr
Fix for bug #201 (The AMD64.cm library is missing)

Revision 4607 - Directory Listing
Modified Fri May 18 14:19:45 2018 UTC (14 months ago) by jhr
updating HISTORY

Revision 4604 - Directory Listing
Modified Wed May 16 20:51:53 2018 UTC (14 months ago) by jhr
  finishing migration to Asciidoctor

Revision 4603 - Directory Listing
Modified Wed May 16 17:48:24 2018 UTC (14 months ago) by jhr
  Switch processing of HISTORY.txt to use asciidoctor (instead of asciidoc)

Revision 4601 - Directory Listing
Modified Wed May 16 12:46:32 2018 UTC (14 months, 1 week ago) by jhr
  update for bug fixes

Revision 4596 - Directory Listing
Modified Mon May 14 13:33:39 2018 UTC (14 months, 1 week ago) by jhr
  updating changelog and working on 110.83 release notes

Revision 4585 - Directory Listing
Modified Sat May 12 18:31:04 2018 UTC (14 months, 1 week ago) by jhr
  update changelog

Revision 4576 - Directory Listing
Modified Mon May 7 14:14:56 2018 UTC (14 months, 2 weeks ago) by jhr
update HISTORY

Revision 4572 - Directory Listing
Modified Mon May 7 13:19:11 2018 UTC (14 months, 2 weeks ago) by jhr
  update changelog

Revision 4562 - Directory Listing
Modified Sat May 5 13:11:36 2018 UTC (14 months, 2 weeks ago) by jhr
  update HISTORY

Revision 4539 - Directory Listing
Modified Sat Apr 21 17:13:52 2018 UTC (15 months ago) by jhr
  update changelog

Revision 4533 - Directory Listing
Modified Fri Apr 20 14:09:28 2018 UTC (15 months ago) by jhr
  fixed bug #191

Revision 4528 - Directory Listing
Modified Sat Apr 14 14:51:17 2018 UTC (15 months, 1 week ago) by jhr
changed representation of real literals

Revision 4524 - Directory Listing
Modified Fri Apr 13 14:43:40 2018 UTC (15 months, 1 week ago) by jhr
Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

Revision 4521 - Directory Listing
Modified Thu Apr 12 13:36:16 2018 UTC (15 months, 1 week ago) by jhr
  fix bug 194

Revision 4501 - Directory Listing
Modified Mon Oct 16 20:52:47 2017 UTC (21 months ago) by jhr
adding notes to changelog

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

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

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

Revision 4461 - Directory Listing
Modified Sun Oct 1 22:04:30 2017 UTC (21 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 (22 months ago) by jhr
primop cleanup

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

Revision 4415 - Directory Listing
Modified Mon Sep 18 20:38:19 2017 UTC (22 months 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 (22 months ago) by jhr
  Get bug # right (183, not 173).

Revision 4413 - Directory Listing
Modified Mon Sep 18 20:17:08 2017 UTC (22 months 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 (22 months, 3 weeks ago) by jhr
  Fix for bug #185.

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

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

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

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

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

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

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

Revision 4334 - Directory Listing
Modified Sat Apr 29 16:28:42 2017 UTC (2 years, 2 months 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 (2 years, 2 months ago) by jhr
  bug #129 fixed

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

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

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

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

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

Revision 4315 - Directory Listing
Modified Thu Sep 15 23:20:13 2016 UTC (2 years, 10 months 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 (2 years, 10 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 (2 years, 10 months ago) by jhr
update changelog and 110.81 readme

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

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

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

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

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

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

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

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

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

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

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

Revision 4250 - Directory Listing
Modified Tue Aug 9 18:58:20 2016 UTC (2 years, 11 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 (2 years, 11 months ago) by jhr
  Updates to changelog

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

Revision 4241 - Directory Listing
Modified Thu Jun 30 15:58:57 2016 UTC (3 years ago) by jhr
  update 110.80 README

Revision 4240 - Directory Listing
Modified Tue Jun 21 14:48:45 2016 UTC (3 years, 1 month 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 (3 years, 1 month ago) by jhr
update 110.80 README

Revision 4235 - Directory Listing
Modified Thu Jun 16 19:13:14 2016 UTC (3 years, 1 month ago) by jhr
added fix for bug 150

Revision 4233 - Directory Listing
Modified Wed Jun 15 16:43:03 2016 UTC (3 years, 1 month ago) by jhr
  update README for 110.80

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

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

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

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

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

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

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

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

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

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

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

Revision 4164 - Directory Listing
Modified Sun Oct 4 19:25:28 2015 UTC (3 years, 9 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 (3 years, 9 months ago) by jhr
finalizing README and HISTORY for 110.79

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

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

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

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

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

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

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

Revision 4122 - Directory Listing
Modified Thu Sep 24 20:21:05 2015 UTC (3 years, 9 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 (3 years, 10 months ago) by jhr
fixing HTML syntax issues

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

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

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

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

Revision 4101 - Directory Listing
Modified Mon Sep 21 13:11:37 2015 UTC (3 years, 10 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 (3 years, 11 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 (3 years, 11 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 (3 years, 11 months ago) by jhr
  updates to release notes

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

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

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

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

Revision 4076 - Directory Listing
Modified Thu Jul 9 07:56:29 2015 UTC (4 years 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 (4 years, 1 month ago) by jhr
  update to change log

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

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

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

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

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

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

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

Revision 4037 - Directory Listing
Modified Sun Dec 21 17:57:21 2014 UTC (4 years, 7 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 (4 years, 7 months ago) by jhr
  change release date to 12/24

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

Revision 4028 - Directory Listing
Modified Sun Dec 21 16:21:05 2014 UTC (4 years, 7 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 (4 years, 7 months ago) by jhr
  added attributes

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

Revision 4002 - Directory Listing
Modified Sat Dec 20 16:46:57 2014 UTC (4 years, 7 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 (4 years, 7 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 (4 years, 7 months ago) by jhr
  adding build support for changelog

Revision 3996 - Directory Listing
Modified Thu Dec 18 15:04:27 2014 UTC (4 years, 7 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 (4 years, 7 months ago) by jhr
  working on ASCIIDOC conversion

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sort log by:

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