buttons.js

runlatex.texts ={
    "Open in Overleaf": "Ouvrir dans Overleaf",
    "TeXLive.net":      "LaTeX Online",
    "Delete Output":    "Fermer l'affichage",
    "Compiling PDF":    "Compilation du PDF",
    // The following not used on learnlatex.org
    "edit":             "éditer",
    "copy":             "copier",
    "Added Code":       "Added code",
    "End Added Code":   "End Added code",
    "Top Caption":      "Edit and run this example:"
}