source: doc @ aac7197

Name Size Rev Age Author Last Change
copyright bc37a83   6 years pabuhr copyright transfer for Andrew Beach
man 7bd1bb5   6 years pabuhr change CFA file suffix
NDA f4e3419d   6 years pabuhr restructure paper documents
papers_related f4e3419d   6 years pabuhr restructure paper documents
proposals 5ff188f   6 years pabuhr further changes to document Makefiles
refrat 23c27039   6 years pabuhr further harmonize document Makefile and documents
theses e76bd39   6 years Thierry Delisle Documented makefile for my thesis
working 804b57e3   6 years a3moss Fix conversion of feature paper to article format; stub in added …
user 418d773a   6 years pabuhr rename LaTeX macroquote2 to cquote, and update user manual
LaTeXmacros e7602ed   6 years pabuhr formatting
bibliography 1f8865e   6 years pabuhr harmonize printing of Cforall name
papers aac7197   6 years pabuhr working copy, no latin-1 characters
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.