Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (annotate)|
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps (Portage version: 184.108.40.206/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Thanks to tomprince for adding support for agda-stdlib. (Portage version: 220.127.116.11/cvs/Linux x86_64)
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.
|Powered by ViewVC 1.1.20|