Changes between Version 22 and Version 23 of DarcsConversion


Ignore:
Timestamp:
Mar 7, 2011 11:04:10 AM (3 years ago)
Author:
igloo
Comment:

Update from Roman

Legend:

Unmodified
Added
Removed
Modified
  • DarcsConversion

    v22 v23  
    7979   * nofib 
    8080   * libraries/stm 
    81    * libraries/primitive 
    82    * libraries/vector 
    8381   * libraries/dph 
    8482 
     
    114112   * libraries/utf8-string 
    115113   * libraries/xhtml 
     114   * libraries/primitive 
     115   * libraries/vector 
    116116 
    117117== The perspective on submodules ==