Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

menu [2012/08/15 16:08]
vkuncak
menu [2013/01/26 00:31] (current)
vkuncak
Line 1: Line 1:
  
         <​li><​a href="​http://​lara.epfl.ch/​w/​Start">​About</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​Start">​About</​a><​br/></​li>​
-        <​li><​a href="​http://​lara.epfl.ch/​w/​impro">​IMPRO</​a><​br/></​li>​ 
         <​li><​a href="​http://​lara.epfl.ch/​w/​News">​News</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​News">​News</​a><​br/></​li>​
 +        <​li><​a href="​http://​lara.epfl.ch/​w/​impro">​IMPRO</​a><​br/></​li>​
         <​li><​a href="​http://​lara.epfl.ch/​w/​Publications">​Publications</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​Publications">​Publications</​a><​br/></​li>​
- 
         <​li><​a href="​http://​lara.epfl.ch/​w/​Software">​Software</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​Software">​Software</​a><​br/></​li>​
- 
         <​li><​a href="​http://​lara.epfl.ch/​w/​Teaching">​Teaching</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​Teaching">​Teaching</​a><​br/></​li>​
         <​li><​a href="​http://​lara.epfl.ch/​w/​collaboration">​Collaboration</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​collaboration">​Collaboration</​a><​br/></​li>​
         <​li><​a href="​http://​lara.epfl.ch/​w/​funding">​Funding</​a><​br/></​li>​         <​li><​a href="​http://​lara.epfl.ch/​w/​funding">​Funding</​a><​br/></​li>​
  
 
menu.txt · Last modified: 2013/01/26 00:31 by vkuncak
 
© EPFL 2018 - Legal notice