RE: [racket-users] Procedure to save racket file as text file

2015-09-14 Thread Andre Mayers
It works. Thank you. -Message d'origine- De : Robby Findler [mailto:ro...@eecs.northwestern.edu] Envoyé : 13 septembre 2015 21:19 À : Andre Mayers Cc : Neil Van Dyke ; racket-users@googlegroups.com List Objet : Re: [racket-users] Procedure to save racket file as text file Ther

Re: [racket-users] Procedure to save racket file as text file

2015-09-13 Thread Robby Findler
Message d'origine- > De : racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] De > la part de Neil Van Dyke > Envoyé : 13 septembre 2015 15:51 > À : André Mayers ; racket-users@googlegroups.com > Objet : Re: [racket-users] Procedure to save racket file as

RE: [racket-users] Procedure to save racket file as text file

2015-09-13 Thread Andre Mayers
--- De : racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] De la part de Neil Van Dyke Envoyé : 13 septembre 2015 15:51 À : André Mayers ; racket-users@googlegroups.com Objet : Re: [racket-users] Procedure to save racket file as text file Is this what you need? (I'm

Re: [racket-users] Procedure to save racket file as text file

2015-09-13 Thread Neil Van Dyke
Is this what you need? (I'm not sure.) http://docs.racket-lang.org/gui/WXME_Decoding.html André Mayers wrote on 09/13/2015 03:44 PM: I need a procedure to save the content of many racket files (*.rkt) in text files (*.txt). I know, I can use the "save as" button in drRacket but it will take