index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
parsing
/
lexer.ml4
Commit message (
Expand
)
Author
Age
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
Abstraction vis à vis du type loc pour compatibilité ocaml 3.08
herbelin
2004-07-16
*
Nouvelle en-tête
herbelin
2004-07-16
*
bugs #667 and #783 (mimick_evar and loc_table on large files)
barras
2004-07-13
*
efficacite du lexeur
filliatr
2004-06-29
*
Ajout entree pour exporter les commentaires en mode -xml
herbelin
2004-03-26
*
reparation de qqs bugs du traducteur
barras
2004-01-26
*
Protection table des locations lors de Load (pour coqdoc)
herbelin
2004-01-22
*
Export information des references et location de notations pour coqdoc
herbelin
2004-01-21
*
make libraries, lexing of more utf8 symbols
marche
2004-01-14
*
modif lexer: ident peut commencer par _
barras
2003-11-25
*
changement nouvelle syntaxe (pt fixes)
barras
2003-10-10
*
traducteur: affiche les commentaires a l'interieur des commandes
barras
2003-09-22
*
Nouvelle mouture du traducteur v7->v8
herbelin
2003-08-11
*
Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...
herbelin
2003-05-21
*
extension des caracteres UTF 8 autorises dans les symboles
filliatr
2003-04-25
*
*** empty log message ***
barras
2003-03-21
*
*** empty log message ***
barras
2003-03-12
*
Correction test token normal
herbelin
2003-02-27
*
Le lexeur et Notation savent reconnaître si un unicode des blocs
herbelin
2003-02-27
*
Ajout du traducteur
desmettr
2003-02-05
*
Le '.' peut faire partie d'un token
herbelin
2002-12-03
*
Re-échappement des \ et " dans les token string
herbelin
2002-11-29
*
Essai de suppression du caractere d'echappement des string
herbelin
2002-11-28
*
Parsing
herbelin
2001-08-10
*
Fix de quelques bugs syntaxiques de Ltac
delahaye
2001-06-11
*
mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4
filliatr
2001-04-05
*
entetes
filliatr
2001-03-15
*
backtrack sur le lexeur de la V6
filliatr
2001-01-30