Changes between Version 22 and Version 23 of DarcsConversion

Show
Ignore:
Timestamp:
03/07/11 03:04:10 (2 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 ==