source: src/root @ 702

Last change on this file since 702 was 696, checked in by mulligan, 9 years ago

Added missing I8051 file and completed most of LIN formalisation.

File size: 95 bytes
Line 
1baseuri=cic:/matita/cerco
2include_paths=/home/dpm/Projects/Matita/NewMatita/matita/matita/lib/
Note: See TracBrowser for help on using the repository browser.