source: Deliverables/D4.1/Matita/README @ 374

Last change on this file since 374 was 260, checked in by sacerdot, 9 years ago
  • Minimal changes to make it compile with the standard distribution of Matita once this directory is substituted to nlibrary
  • ambiguity reduced by lower-casing booleans
File size: 82 bytes
Line 
1To make this directory compile, replace the nlibrary directory of Matita with
2it.
Note: See TracBrowser for help on using the repository browser.