1
0
Fork 0

Renamings and cleaning

This commit is contained in:
Joris van der Hoeven 2011-09-06 13:58:33 +00:00
parent 294017d595
commit 8d6b161f74
2 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
<TeXmacs|1.0.6.9>
<TeXmacs|1.0.7.12>
<style|tmdoc>
@ -6,7 +6,7 @@
<tmdoc-title|Projects for the future>
<\traverse>
<branch|Improving the current implementation|improvements.en.tm>
<branch|To do list for improving the current implementation|todo.en.tm>
<branch|Plans for the future|future.en.tm>

View File

@ -3,7 +3,7 @@
<style|tmdoc>
<\body>
<tmdoc-title|To do list for the current implementation>
<tmdoc-title|To do list for the improving the current implementation>
<section|General architecture>