the formal opening of the canal was on 17 september 1802, and the day was declared to be a public holiday in horncastle, so that everyone could celebrate. boats were decked with bunting and flags, a band played "rousing tunes", and the navvies were given free food and beer on boats in both the north and south basins.