Mirror of AUCTeX git repository (not regularly updated). Do *not* send pull requests here, write to the auctex-devel mailing list instead. To clone the official AUCTeX git repository see