aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel
Commit message (Expand)AuthorAge
* Bugs/Messages d'erreursGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Nettoyage de GenericGravatar herbelin2000-05-31
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* Déplacement de save_thm and co de PFedit vers CommandGravatar herbelin2000-05-25
* Petit bug get_current_contextGravatar herbelin2000-05-25
* Renommage hypothèses de nom redondant dans les environnementsGravatar herbelin2000-05-22
* Suite restructuration inductifs; changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* export get_current_contextGravatar herbelin2000-05-18
* Ajouts des causes d'erreur de IndrecGravatar herbelin2000-05-18
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Retrait de PrintConstr vers top_printersGravatar delahaye2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* discharge des axiomesGravatar filliatr2000-04-21
* Abstraction du type typed_type (un pas vers les jugements 2 niveaux)Gravatar herbelin2000-04-20
* Portage (pour la forme) de minicoqGravatar herbelin2000-03-31
* Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...Gravatar herbelin2000-03-28
* Déplacement des fonctions spécifiques du discharge qui était dans Generic;...Gravatar herbelin2000-03-21
* Prise en compte nouveau case_info dans type_caseGravatar herbelin2000-03-21
* bug discharge (work_alist contenanti plein de fois les memes choses)Gravatar filliatr2000-03-18
* Réparation du cast oublié lors d'une définition castéeGravatar herbelin2000-03-08
* Force le renommage dans bad_ind_argumentsGravatar herbelin2000-01-31
* documentationGravatar filliatr2000-01-28
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Ajout de RecordGravatar herbelin2000-01-11
* Restructuration printer et parserGravatar herbelin2000-01-07
* Renommage command en constrGravatar herbelin2000-01-07
* Déplacement print_emacs dans OptionsGravatar herbelin2000-01-07
* Déplacement non-affichage des coercions dans termastGravatar herbelin2000-01-07
* bug : import -> export dans RequireGravatar filliatr1999-12-16
* message erreur SchemeGravatar herbelin1999-12-15
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* Les inductifs dans Scheme doivent être des ident d'inductifsGravatar herbelin1999-12-15
* - états fabriqués avec -silentGravatar filliatr1999-12-13
* - méthode load sur les HintsGravatar filliatr1999-12-13
* petite erreur dans CommandGravatar filliatr1999-12-13
* documentation interfacesGravatar filliatr1999-12-13
* modulesGravatar filliatr1999-12-12
* - erreurs PretypeGravatar filliatr1999-12-10
* debug resetGravatar filliatr1999-12-10
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* debug discharge et inductifsGravatar filliatr1999-12-10
* Ajout des messages d'erreurs de CasesGravatar herbelin1999-12-09
* - constantes avec recettesGravatar filliatr1999-12-09
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* initialisation load path (provisoire)Gravatar filliatr1999-12-06