|
Profile
| user name |
Vincent Aravantinos |
| first name |
Vincent |
| last name |
Aravantinos |
| email |
vincent aravantinos gmailcom |
| homepage |
getHomepage()){
$hp = $profileUser->getHomepage();
if(substr($hp,0,7) != "http://" and substr($hp,0,8) != "https://"){
$hp = "http://" . $hp;
}
$hp = escapeForHTML($hp);
?>
|
|
registered Vim
user or sponsor |
yes |
Script Contributions
| camlanot.vim |
Ocaml support for type annotation files, included support for ocamlbuild |
| coq syntax |
syntax colouring for coq files |
| Coq indent |
Indentation for coq files |
| Melt Vim |
Plugin for Melt files |
| beluga-syntax |
Syntax for Beluga fles (http://www.cs.mcgill.ca/~complogic/beluga/) |
| tac-syntax |
Syntax for Tac files (http://slimmer.gforge.inria.fr/tac/) |
|
|
