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

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 752, Fri Dec 8 23:32:37 2000 UTC revision 756, Thu Dec 14 16:01:33 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/12/15 00:01:05 JST
17    Tag: blume-20001215-dirtool
18    Description:
19    
20    - "dir" tool added.
21    - improvements and cleanup to Tools structure
22    - documentation updates
23    
24    ----------------------------------------------------------------------
25    Name: Allen Leung
26    Date: Thu Dec 14 03:45:24 EST 2000
27    Description:
28    Tag:  leunga-20001214-int-inf
29    Description:
30    
31       In IntInf, added these standard functions, which are missing from our
32    implementation:
33    
34        andb : int * int -> int
35        xorb : int * int -> int
36        orb  : int * int -> int
37        notb : int -> int
38         <<   : int * word -> int
39        ~>>  : int * word -> int
40    
41       Not tested, I hope they are correct.
42    
43    ----------------------------------------------------------------------
44  Name: Allen Leung  Name: Allen Leung
45  Date: Fri Dec  8 19:23:26 EST 2000  Date: Fri Dec  8 19:23:26 EST 2000
46  Description:  Description:

Legend:
Removed from v.752  
changed lines
  Added in v.756

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