diff --git a/collects/meta/props b/collects/meta/props
index 61d3d8ad5f..ff09f82d8f 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -645,6 +645,11 @@ path/s is either such a string or a list of them.
 "collects/drracket/private/profile-drs.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/drracket/private/rep.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/drracket/private/stick-figures.rkt" drdr:command-line (mzc *)
+"collects/drracket/private/syncheck/annotate.rkt" drdr:command-line (gracket *)
+"collects/drracket/private/syncheck/colors.rkt" drdr:command-line (gracket *)
+"collects/drracket/private/syncheck/contract-traversal.rkt" drdr:command-line (gracket *)
+"collects/drracket/private/syncheck/gui.rkt" drdr:command-line (gracket *)
+"collects/drracket/private/syncheck/traversals.rkt" drdr:command-line (gracket *)
 "collects/drracket/private/syncheck-debug.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/drracket/private/text.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/drracket/private/tools-drs.rkt" drdr:command-line (gracket *)