buttons.js

runlatex.texts ={
    "Open in Overleaf": "Open in Overleaf",
    "TeXLive.net":      "Run at TeXLive.net",
    "Delete Output":    "Delete Output",
    "Compiling PDF":    "Compiling PDF",
    // The following not used on learnlatex.org
    "edit":             "edit",
    "copy":             "copy",
    "Added Code":       "Added code",
    "End Added Code":   "End Added code",
    "Top Caption":      "Edit and run this example:"
}