source: src/root @ 2649

Last change on this file since 2649 was 703, checked in by sacerdot, 10 years ago

lib is now the default standard library (after commit 11216 in Matita).
Remember to ./configure the Matita code after doing the svn up.
File size: 26 bytes
RevLine 
[696]1baseuri=cic:/matita/cerco
Note: See TracBrowser for help on using the repository browser.