source: src/root @ 1470

Last change on this file since 1470 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
Line 
1baseuri=cic:/matita/cerco
Note: See TracBrowser for help on using the repository browser.