Changes between Version 22 and Version 23 of DarcsConversion


Ignore:
Timestamp:
Mar 7, 2011 11:04:10 AM (4 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 ==