summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* merge from HEADmultimatchJacques Garrigue2003-05-1444-553/+1051
* This commit was manufactured by cvs2svn to create branch 'multimatch'.No author2003-04-032-0/+125
* switch to unification-base moregeneralJacques Garrigue2003-01-212-46/+230
* merge from headJacques Garrigue2003-01-175-104/+119
* moregen dependent matchingJacques Garrigue2002-12-111-5/+7
* make moregeneral exponentialJacques Garrigue2002-12-101-16/+75
* merge changesJacques Garrigue2002-12-0620-147/+200
* add multifun keyword + correctly print typesJacques Garrigue2002-11-087-23/+28
* merge changes + handle or-patternsJacques Garrigue2002-11-0818-183/+281
* This commit was manufactured by cvs2svn to create branch 'multimatch'.No author2002-11-044-0/+416
* unify_row_field in fixed modeJacques Garrigue2002-11-014-61/+97
* merge from HEADJacques Garrigue2002-11-018-17/+41
* enable unification backtrackingJacques Garrigue2002-10-305-87/+205
* handle interfacesJacques Garrigue2002-10-105-19/+44
* handle or-patternsJacques Garrigue2002-10-091-14/+57
* add dependent matchingJacques Garrigue2002-10-0817-85/+169
* This commit was manufactured by cvs2svn to create branch 'multimatch'.No author2002-10-081830-315506/+0
* collapse conjunctive types in class definition parametersJacques Garrigue2002-10-084-2/+46
* Revised semantics of @c: the c character is now skipped by default.Pierre Weis2002-10-082-21/+35
* Unused match case 'B' in orpat.Pierre Weis2002-10-071-1/+1
* A lot of modifications: provision for unsigned numbers in binaryPierre Weis2002-10-071-86/+137
* Provision for unsigned numbers in binary notation.Pierre Weis2002-10-071-4/+9
* Provision for printing of unsigned numbers in binary notation.Pierre Weis2002-10-072-6/+80
* Adding the %b convertion for unsigned numbers in binary notation.Pierre Weis2002-10-071-5/+5
* bug improbable dans matching (exemple a la fin de morematch.ml)Luc Maranget2002-10-022-43/+84
* ajout _ dans les nombres; ajout \xhh dans les chainesDamien Doligez2002-10-024-23/+42
* correction d'un oubli : cross ref dans les text des custom tagsMaxence Guesdon2002-10-021-1/+2
* Petite discussion avec Jacques.Luc Maranget2002-10-015-247/+313
* Manquait unix_[gs]etsockopt_bool si pas HAS_SOCKETXavier Leroy2002-10-011-2/+2
* ajout -linkall et Nativeint dans les crc pour le chargement dynamiqueMaxence Guesdon2002-10-012-4/+4
* ouf tests finis ?Luc Maranget2002-09-301-38/+59
* PR#1378Damien Doligez2002-09-272-2/+4
* \xFF dans les chaines et les caracteresDamien Doligez2002-09-271-0/+18
* Pour trouver binutils sur Mac OS XDamien Doligez2002-09-271-1/+2
* ajout class css td.typefieldcomment pour pouvoir bien separer des commentaire...Maxence Guesdon2002-09-271-6/+7
* Le test buf.st_size > Max_long n'est reellement significatif que pour les fic...Xavier Leroy2002-09-271-3/+6
* ajout de classes CSS typetable indextable et paramstableMaxence Guesdon2002-09-261-5/+10
* proprifier + se garantir contre les 168 variants de tk.mlLuc Maranget2002-09-251-94/+126
* probleme out-of-bounds string/array access sur Mac OS 10.2Damien Doligez2002-09-233-11/+29
* ajout include manquantDamien Doligez2002-09-231-0/+2
* petite optimisation des or-inutiles (gros bug ?)Luc Maranget2002-09-231-14/+18
* retour sur les avertissements *unused pattern*Luc Maranget2002-09-231-194/+263
* Patches for OpenBSD/Alpha (PR#1392)Xavier Leroy2002-09-202-3/+3
* PR#1379Damien Doligez2002-09-1810-21/+78
* PR#1384, deuxiemeDamien Doligez2002-09-171-2/+2
* dependDamien Doligez2002-09-174-61/+64
* PR#1384Damien Doligez2002-09-173-14/+24
* package MacOS XDamien Doligez2002-09-171-0/+9
* génération de .SH NAME pour etre conforme et etre lu par whatisMaxence Guesdon2002-09-161-2/+49
* correction pour les noms de fichiers pour le code des values infixes : les sy...Maxence Guesdon2002-09-131-1/+48
View Lorry Controller Status