Dear Anouk, A prt file is _just_ a project file with the the Global category (and therefore no MainModule or OtherModule category).
You can create one using the Project->Save project template... button. Best, Mart Ps. you can find more info in Pm/PmFiles.icl and Pm/PmProject.icl in the clean-ide source: e.g.: https://cloogle.org/src/#clean-ide/Pm/PmFiles;icl;line=242 On Wed, Dec 19, 2018 at 09:04:57AM +0000, Prins, A. (Anouk) wrote: > ​Dear all, > > > I am part of the team working on a new Clean IDE for the course MSDT and I had > a question about a certain feature. When you click on "File" in the menu bar, > you can choose "New Project using Template". This feature doesn't seem to work > for me since I need a .prt file. I assume this is a "project template" file, > but such file has not been downloaded in my Clean 3.0 folder. I couldn't find > any .prt file in that folder. Also, I wasn't able to find anything on > clean.cs.ru.nl so I was hoping to get some information on this feature via > this > way. > > > Kind regards, > > Anouk Prins > > _______________________________________________ > clean-list mailing list > [email protected] > https://mailman.science.ru.nl/mailman/listinfo/clean-list _______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
