| file | size | description |
|---|---|---|
| Tune-3153-JimmyLinnsHornpipe.abc | 518 | ABC music file with the extracted tune(s) |
| Tune-3153-JimmyLinnsHornpipe.pdf | 20723 | Portable Data Format |
| Tune-3153-JimmyLinnsHornpipe.ps | 38362 | PostScript |
| Tune-3153-JimmyLinnsHornpipe.txt | 518 | Plain-text file with the extracted tune(s) |
| Tune-3153-get.log | 5529 | Log file, useful mostly for debugging |
| Tune-31532-get.log | 12796 | Log file, useful mostly for debugging |
| Tune-31536-get.log | 9894 | Log file, useful mostly for debugging |
| Tune-31537-24CountryDances_1810_Button_Whitaker_Elegant.abc | 188 | ABC music file with the extracted tune(s) |
| Tune-31537-24CountryDances_1810_Button_Whitaker_Elegant.txt | 188 | Plain-text file with the extracted tune(s) |
| Tune-31537-get.log | 3842 | Log file, useful mostly for debugging |