source: branches @ 857

Name Size Rev Age Author Last Change
replacing_gnuplot 857   12 years Jari Häkkinen Merged trunk changes -r844:855 to replacing_gnuplot branch.
0.7-stable 852   12 years Peter Johansson remove temporary hack that did not work because I was too fast to …
0.6-stable 841   12 years Peter Johansson Preparing release 0.6.8
src-highlight 840   12 years Peter Johansson refs #99. Create a branch for source highlight
Note: See TracBrowser for help on using the repository browser.