Commits · 2eea5773d44366c4446b75ad7b29e35315cb0c83 · clean-and-itasks / clean-ide

27 Mar, 2003 1 commit
- added configurable right margin with different background colour · 328918cb
  Ronny Wichers Schreur authored Mar 27, 2003
  
  328918cb
03 Feb, 2003 1 commit
- use rem instead of mod · 5aab8cda
  Diederik van Arkel authored Feb 03, 2003
  
  5aab8cda
12 Feb, 2002 1 commit
- Remove unused strictness annotations · 3a153dc9
  Diederik van Arkel authored Feb 12, 2002
  
  3a153dc9
10 Dec, 2001 1 commit
- cleanup for Clean2 release · e1f4cd2d
  Diederik van Arkel authored Dec 10, 2001
  
  e1f4cd2d
25 Oct, 2001 1 commit
- cleanup types · be6a9880
  Diederik van Arkel authored Oct 25, 2001
  
  be6a9880
15 Oct, 2001 1 commit
- Assorted fixes · 7e5709f0
  Diederik van Arkel authored Oct 15, 2001
  
  7e5709f0
08 Oct, 2001 2 commits
- More Editor state threading · 2d67a49a
  Diederik van Arkel authored Oct 08, 2001
  
  2d67a49a
- Induct into CVS · 18653865
  Diederik van Arkel authored Oct 08, 2001
  
  18653865