Changeset 703 for src/root


Ignore:
Timestamp:
Mar 22, 2011, 5:42:04 PM (9 years ago)
Author:
sacerdot
Message:

lib is now the default standard library (after commit 11216 in Matita).
Remember to ./configure the Matita code after doing the svn up.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/root

    r696 r703  
    11baseuri=cic:/matita/cerco
    2 include_paths=/home/dpm/Projects/Matita/NewMatita/matita/matita/lib/
Note: See TracChangeset for help on using the changeset viewer.