| Wed, 14 May 2008 11:17:36 +0200 | wenzelm | explicit constraints for int literals; | changeset | files |
| Wed, 14 May 2008 11:16:11 +0200 | wenzelm | use_text: added str_of_pos argument (ignored); | changeset | files |
| Wed, 14 May 2008 11:09:07 +0200 | wenzelm | use_file: pass str_of_pos; | changeset | files |
| Wed, 14 May 2008 11:05:45 +0200 | wenzelm | use_text/file: ignore str_of_pos argument; | changeset | files |