diff --git a/scripts/wordlist.pws b/scripts/wordlist.pws
index aca4be1564f8dbaf8faf33a5a04af14c4e541f8c..b2d9617f15e78d0163580ea271715d15afa07f47 100644
--- a/scripts/wordlist.pws
+++ b/scripts/wordlist.pws
@@ -1,90 +1,56 @@
-personal_ws-1.1 en 0
-Prosa
+ad hoc
+aRTA/S
+BCET/M
+bursty
 Coq
-ssreflect's
-ssreflect
-typeclass
-iff
-schedulability
-schedulable
-computable
-boolean
-disjunction
-invariant
-invariants
-instantiation
-instantiations
-uniprocessor
-uniprocessors
-jitter
-monotonicity
-antisymmetric
-optimality
-namespace
-nonpreemptive
-preemptive
-preemptable
-preemptions
+DM
+ECRTS
 EDF
+et al
+extremum
+fixpoint/M
+formedness
 FP
-DM
-POSIX
-JLFP
+Gonthier
+hyperperiod/M
+IBF/M
+iff
+instantiation/MS
 JLDP
-TDMA
-aRTA
-RTA
-IBF
-RBF
-RBFs
-WCET
-WCETs
-BCET
-BCETs
+JLFP
 Layland
+Leontyev
 Liu
-sequentiality
-equalities
-extremum
-supremum
-runtime
-bursty
-TODO
+Maida
 mathcomp
-hyperperiod
-hyperperiods
-pointwise
-notational
 multiset
-superset
+namespace
+nonpreemptive
+POET/MS
+pointwise
+POSIX
+preemptable
+preemption/M
+preemptive
+Prosa/M
+RBF/M
+rewritable
+RTA/M
 RTCT
-superadditivity
-superadditive
-subadditivity
-subadditive
-subinterval
-subsequences
-summand
-summands
-afore
-ad
-hoc
-mailinglist
-Gonthier
+schedulability
+schedulable
+sequentiality
 setoid
-Leontyev
-et
-al
-discoverable
-formedness
-unary
-rewritable
-ECRTS
-Maida
-POET's
-coercions
-unsatisfiable
-fixpoint
-fixpoints
-RTA's
-parametrized
\ No newline at end of file
+ssreflect/M
+subadditive
+subadditivity
+summand/M
+superadditive
+superadditivity
+superset
+supremum
+TDMA
+TODO
+typeclass
+uniprocessor/M
+WCET/M