CoverTranslator

 (logo)

ViewCVS and CVS Help

Current directory:[Cover] / CoverTranslator
Files shown:11
File Rev. Age Author Last log entry
(dir) Attic/   [show contents]        
(dir) distrib/        
(dir) doc/        
(dir) examples/        
(dir) lib/        
(dir) src/        
(dir) tools/        
(file) .cvsignore   1.1  3 years  abel  fixed bug in unobfuscation
(file) COPYING   1.1  4 years  patrikj  license added
(file) INSTALL   1.2  3 years  patrikj  Minor updated to data-conversion case study. Makefiles in example dirs now more ...
(file) Makefile.in   1.15  3 years  patrikj  Some minor changes needed for ghc-6.4 + comments about using underscore (_) for ...
(file) TODO   1.7  2 years  patrikj  Details
(file) cfop.in   1.24  2 years  patrikj  *** empty log message ***
(file) configure.ac   1.13  3 years  abel  check for gandalf, happy and alex optional
(file) hs2agda.in   1.6  3 years  abel  added a flag --total to hs2agda which does the vanilla translation
(file) install-sh   1.1  4 years  patrikj  Autoconf details
(file) missing   1.1  4 years  patrikj  license added
(file) mkinstalldirs   1.1  4 years  patrikj  license added
Show files using tag:
 
No CVS admin address has been configured
 Powered by
ViewCVS 0.9.2