8000 Commits · raulmonti/vercors · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jul 5, 2019

nocache option in the bibbase script enables to instantly see the changes in publications.html when changing references.bib. url_whatever fields in the bib entries enables adding links to the paper…
raulmonti
committed
Still testing the publications page.
raulmonti
committed
Testing to fix the publications page.
raulmonti
committed

Commits on Jul 3, 2019

[1] Changed 'VerCors with Eclipse' to 'Vercors with IDEs' in the menu.
Raul Monti
committed

Commits on Jul 2, 2019

Update Publications.html
FauziaE
authored
Update Publications.html
FauziaE
authored
Add publications
FauziaE
authored
Merge branch 'master' of https://github.com/utwente-fmt/vercors
Raul Monti
committed
Links to personal pages open new tab in about us page.
Raul Monti
committed
Added links
FauziaE
authored
Merge branch 'master' of https://github.com/utwente-fmt/vercors
Raul Monti
committed
Added link for publications
FauziaE
authored
Merge branch 'master' of https://github.com/utwente-fmt/vercors
Raul Monti
committed
Fixed BCs for BSc in about us page.
Raul Monti
committed
Update index.html
FauziaE
authored
Fixed some missing spaces and added some titles to people in About Us page.
Raul Monti
committed
Merge branch 'master' of https://github.com/utwente-fmt/vercors
Raul Monti
committed
Added member Mostowski and reorganised about us page, including Mohsen personal page link.
Raul Monti
committed
Update references.bib
FauziaE
authored
Update Installation.html
< 10000 div class="Description-module__container--b3n6F">
FauziaE
authored

Update references.bib

authored

Update references.bib

authored

Added the link for documentation

authored

Update references.bib

authored

Update Publications.html

authored

Update Publications.html

authored

Update references.bib

authored

Update Publications.html

authored

Update Publications.html

authored

Update references.bib

authored

Update AboutUs.html

authored

Merge branch 'master' of https://github.com/utwente-fmt/vercors< 8296 /a>

Changed navigator for Tutorials and About us page.

Raul Monti

committed

Update Tutorials.html

authored

I had forgot to add the Tutorials.html file. Doing so now.

Raul Monti

committed

0