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 /doc/trunk/src/changelog/HISTORY.txt
ViewVC logotype

Diff of /doc/trunk/src/changelog/HISTORY.txt

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

revision 4156, Fri Oct 2 18:53:43 2015 UTC revision 4157, Sun Oct 4 15:19:29 2015 UTC
# Line 87  Line 87 
87    
88  //////////////////////////////////////////////////////////////////////  //////////////////////////////////////////////////////////////////////
89    
90  == Recent updates  //====================================================================
91    // == Recent updates
92    
93  //====================================================================  //====================================================================
94  // == Version 110.79; 2015/10/01  == Version 110.79; 2015/10/04
95    
96    //--------------------------------------------------------------------
97    [2015/10/04]::
98    +
99    Patched +base/compiler/FLINT/clos/closure.sml+ so that *Twelf* will
100    build again (bugref:[140]).
101    +
102    owner:[John Reppy,http://cs.uchicago.edu/~jhr]
103    
104  //--------------------------------------------------------------------  //--------------------------------------------------------------------
105  [2015/09/28]::  [2015/09/28]::

Legend:
Removed from v.4156  
changed lines
  Added in v.4157

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