summaryrefslogtreecommitdiff
path: root/Master/texmf/ls-R
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/ls-R')
-rw-r--r--Master/texmf/ls-R2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/ls-R b/Master/texmf/ls-R
index f39f238389c..c77c61d1c92 100644
--- a/Master/texmf/ls-R
+++ b/Master/texmf/ls-R
@@ -2468,6 +2468,7 @@ listliketab
listofsymbols
literat
lkort
+lkproof
lm
localloc
logic
@@ -2749,7 +2750,6 @@ procIAGssymp
progkeys
program
progress
-proof
prosper
protocol
psafm