Agda

 (logo)

ViewCVS and CVS Help

Current directory:[Cover] / Agda
Files shown:17
File Rev. Age Author Last log entry
(dir) Attic/   [show contents]        
(dir) Examples/        
(dir) elisp/        
(dir) macros/        
(dir) src/        
(dir) test/        
(file) .cvsignore   1.1  3 years  ulfn  *** empty log message ***
(file) AgdaAgsyREADME.txt   1.3  3 years  frelindb  *** empty log message ***
(file) DIST   1.1  21 months  nobsun  Added script for making source tarball. (useful only for distribution makers)
(file) DIST_EXCLUDE   1.3  21 months  nobsun  configure.ac added again into DIST_EXCLUDE.
(file) LICENSE   1.2  3 years  patrikj  More explanation
(file) Makefile.in   1.18  21 months  nobsun  $(srcdir)/package.m4 depends on none
(file) README   1.8  20 months  kato  Added support for ghc 6.6 on Windows
(file) README-Developer   1.2  3 years  daisuke  add to dynamic-plugins
(file) README-SummerSchool   1.1  3 years  marcin  Added SummerSchool README
(file) README.linux   1.1  21 months  nobsun  For binary distribution for linux
(file) acinclude.m4   1.2  3 years  daisuke  add to dynamic-plugins
(file) agda-1.1-1.spec   1.1  3 years  daisuke  add some files to create RPM file for installation
(file) config.guess   1.1  3 years  daisuke  fix for MS-Winodws -- add config.guess and config.sub to Agda to inspect ...
(file) config.sub   1.1  3 years  daisuke  fix for MS-Winodws -- add config.guess and config.sub to Agda to inspect ...
(file) configure.ac   1.18  21 months  nobsun  version number set to 1.0.2
(file) install-sh   1.1  4 years  marcin  Added missing install-sh
(file) package.m4   1.2  3 years  marcin  Changes in plugin interface
Show files using tag:
 
No CVS admin address has been configured
 Powered by
ViewCVS 0.9.2