From e449e275ab0e16a2780933711cacc3a1a18aedfc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 17 Nov 2012 20:14:43 -0600 Subject: [PATCH] removed the deinprogramm one-line-summary's because they are just the same as the language names, and so look a bit silly in tooltips now --- collects/deinprogramm/deinprogramm-langs.rkt | 4 ---- 1 file changed, 4 deletions(-) diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt index 976840b6da..b70a9a438c 100644 --- a/collects/deinprogramm/deinprogramm-langs.rkt +++ b/collects/deinprogramm/deinprogramm-langs.rkt @@ -1369,7 +1369,6 @@ (add-deinprogramm-language (instantiate (make-deinprogramm-language% 'write 'explicit) () - (one-line-summary "Die Macht der Abstraktion - Anfänger") (module '(lib "deinprogramm/DMdA-beginner.rkt")) (manual #"DMdA-beginner") (language-position (list (string-constant teaching-languages) @@ -1384,7 +1383,6 @@ (add-deinprogramm-language (instantiate (make-deinprogramm-language% 'write 'explicit) () - (one-line-summary "Die Macht der Abstraktion") (module '(lib "deinprogramm/DMdA-vanilla.rkt")) (manual #"DMdA-vanilla") (language-position (list (string-constant teaching-languages) @@ -1399,7 +1397,6 @@ (add-deinprogramm-language (instantiate (make-deinprogramm-language% 'write 'explicit) () - (one-line-summary "Die Macht der Abstraktion mit Zuweisungen") (module '(lib "deinprogramm/DMdA-assignments.rkt")) (manual #"DMdA-assignments") (language-position (list (string-constant teaching-languages) @@ -1415,7 +1412,6 @@ (add-deinprogramm-language (instantiate (make-deinprogramm-language% 'write 'datum) () - (one-line-summary "Die Macht der Abstraktion - fortgeschritten") (module '(lib "deinprogramm/DMdA-advanced.rkt")) (manual #"DMdA-advanced") (language-position (list (string-constant teaching-languages)