|  Tim Landscheidt | b289a65be7
							
							Use https for links to orgmode.org | 7 years ago | 
				
					
						|  Kyle Meyer | 3e1641ef0a
							
							Update copyright years | 7 years ago | 
				
					
						|  Paul Eggert | ff0dcf52a5
							
							Backport commit bc511a64f from Emacs | 8 years ago | 
				
					
						|  Kyle Meyer | 713f785017
							
							Update copyright years | 8 years ago | 
				
					
						|  Alan Schmitt | 90ec88d71c
							
							ox-coq.el: Clean up | 9 years ago | 
				
					
						|  Kyle Meyer | 6345de2d05
							
							Merge branch 'maint' | 9 years ago | 
				
					
						|  Kyle Meyer | 6bc48c5f41
							
							Update copyright years | 9 years ago | 
				
					
						|  Nicolas Goaziou | f0bf77e82a
							
							Activate lexical binding in some libraries | 10 years ago | 
				
					
						|  Kyle Meyer | 8d2c6af7ed
							
							Update remaining copyright years in lisp/ | 10 years ago | 
				
					
						|  Aaron Ecay | 076e0ea518
							
							Fix error messages. | 10 years ago | 
				
					
						|  Bastien Guerry | c9e6a07cdf
							
							ob-coq.el: Declare external functions | 11 years ago | 
				
					
						|  Eric Schulte | 61dbb84081
							
							initial support for Coq code blocks | 11 years ago |