| 
						
					 | 
					
						
						
							
						
						240d113062
					 | 
					
						
						
							
							Change CSS/JS location + publish all
						
						
						
						
						
						
					 | 
					
						2021-01-08 15:34:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebb928b890
					 | 
					
						
						
							
							Update doc
						
						
						
						
						
						
					 | 
					
						2020-08-05 13:28:14 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						158fc1d065
					 | 
					
						
						
							
							Add a function to output the state of the platform
						
						
						
						
						
						
					 | 
					
						2020-03-13 10:06:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5d73ab978
					 | 
					
						
						
							
							Update html pages
						
						
						
						
						
						
					 | 
					
						2020-03-11 19:00:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d87701c3ad
					 | 
					
						
						
							
							Update table and add link to bibliography
						
						
						
						
						
						
					 | 
					
						2020-03-03 16:04:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8bd282ccbd
					 | 
					
						
						
							
							Add file with table regrouping all bibliography
						
						
						
						
						
						
					 | 
					
						2020-03-03 15:51:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |