Commits

Breadcrumbs

History for

on9fa7f38

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 9, 2014

• Switch the few remaining iso-latin-1 files to utf8

  letouzey

  committed
  af84e08

  Copy full SHA for af84e08

Commits on Aug 25, 2014

• "allows to", like "allowing to", is improper

  Show description for 4fef230
  

  JasonGross

  authored and

  pirbo

  committed
  4fef230

  Copy full SHA for 4fef230

Commits on Apr 28, 2014

• Prevent coq_tex from generating curly quotes. (Partial fix for bug coq#2964)

  silene

  committed
  056a969

  Copy full SHA for 056a969

Commits on Apr 17, 2013

• Renaming SearchAbout into Search and Search into SearchHead.

  Show description for 9b24b6d
  

  herbelin

  committed
  9b24b6d

  Copy full SHA for 9b24b6d

Commits on Apr 29, 2010

• Remove the svn-specific $Id$ annotations

  Show description for af93e4c
  

  letouzey

  committed
  af93e4c

  Copy full SHA for af93e4c

Commits on Jan 27, 2009

• - Fixed various Overfull in documentation.

  Show description for 3394cf3
  

  herbelin

  committed
  3394cf3

  Copy full SHA for 3394cf3

Commits on Jan 13, 2009

• Updated dates

  Show description for f25c1f7
  

  herbelin

  committed
  f25c1f7

  Copy full SHA for f25c1f7

Commits on Jul 17, 2008

• - Suppression de Rstar/Newman peu utilisables comme biblio (encodage

  Show description for 6d28dae
  

  herbelin

  committed
  6d28dae

  Copy full SHA for 6d28dae

Commits on Jun 10, 2008

• 2-3 petites modifs sur la doc

  Show description for 813b9b4
  

  notin

  committed
  813b9b4

  Copy full SHA for 813b9b4

Commits on Dec 18, 2007

• Maj du lien vers coq-bugs dans Coqide.

  Show description for 4e46910
  

  glondu

  committed
  4e46910

  Copy full SHA for 4e46910

Commits on Jun 23, 2006

• Mention de coqide, proof general et pcoq

  Show description for 0e43e34
  

  herbelin

  committed
  0e43e34

  Copy full SHA for 0e43e34

Commits on Apr 14, 2006

• Enleve les commentaires

  Show description for f8917a7
  

  cpaulin

  committed
  f8917a7

  Copy full SHA for f8917a7

Commits on Feb 23, 2006

• Mise à jour des Makefile, ajout licences, corrections mineures suite à

  Show description for 015781a
  

  herbelin

  committed
  015781a

  Copy full SHA for 015781a

• Nettoyage de l'archive doc et restructuration avant intégration à l'archive

  Show description for 6cf8d80
  

  herbelin

  committed
  6cf8d80

  Copy full SHA for 6cf8d80

Loading