| 
						
					 | 
					
						
						
							
						
						c1854ef784
					 | 
					
						
						
							
							Dealing with overfull in bliography
						
						
						
						
						
						
					 | 
					
						2021-06-25 13:46:03 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						766c67c3a4
					 | 
					
						
						
							
							Minor corrections
						
						
						
						
						
						
					 | 
					
						2021-06-24 03:18:06 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3454c73bc9
					 | 
					
						
						
							
							New bibliography
						
						
						
						
						
						
					 | 
					
						2021-06-24 03:00:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						02def4b256
					 | 
					
						
						
							
							Cleaning up
						
						
						
						
						
						
					 | 
					
						2021-06-24 03:00:05 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebbd59045f
					 | 
					
						
						
							
							titlepage: Various corrections
						
						
						
						
						
						
					 | 
					
						2021-06-23 02:33:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ee2ecd734d
					 | 
					
						
						
							
							OCD
						
						
						
						
						
						
					 | 
					
						2019-03-05 19:56:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						67e975abbe
					 | 
					
						
						
							
							Added the survey
						
						
						
						
						
						
					 | 
					
						2019-03-05 19:01:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6c331a740f
					 | 
					
						
						
							
							Killing spiders
						
						
						
						
						
						
					 | 
					
						2019-03-05 17:54:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c72eab6b4e
					 | 
					
						
						
							
							Initial commit
						
						
						
						
						
						
					 | 
					
						2017-10-05 20:52:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |