source: src/root @ 2399

Last change on this file since 2399 was 703, checked in by sacerdot, 11 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
Note: See TracBrowser for help on using the repository browser.