SCM Repository
Diff of /sml/trunk/HISTORY
Parent Directory
| 
Revision Log
| 
Patch
| revision 1065, Thu Feb 14 15:05:16 2002 UTC | revision 1066, Thu Feb 14 16:50:02 2002 UTC | |
|---|---|---|
| # | Line 13 | Line 13 |
| 13 | Description: | Description: |
| 14 | ||
| 15 | ---------------------------------------------------------------------- | ---------------------------------------------------------------------- |
| 16 | Name: Matthias Blume | |
| 17 | Date: 2002/02/14 11:50:00 EST | |
| 18 | Tag: blume-20020214-quote | |
| 19 | Description: | |
| 20 | ||
| 21 | Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm). This is required | |
| 22 | because of the new and improved tag generation scheme. (Thanks to Allen | |
| 23 | Leung for pointing it out.) | |
| 24 | ||
| 25 | ---------------------------------------------------------------------- | |
| 26 | Name: Lal George | Name: Lal George |
| 27 | Date: 2002/02/14 09:55:27 EST 2002 | Date: 2002/02/14 09:55:27 EST 2002 |
| 28 | Tag: george-20020214-isabelle-bug | Tag: george-20020214-isabelle-bug |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
