XEmacs Mailing List Archives
Manage lists
Login
Sign Up
Login
Sign Up
Manage this list
2024
April
March
February
January
2023
December
November
October
September
August
July
June
May
April
March
February
January
2022
December
November
October
September
August
July
June
May
April
March
February
January
2021
December
November
October
September
August
July
June
May
April
March
February
January
2020
December
November
October
September
August
July
June
May
April
March
February
January
2019
December
November
October
September
August
July
June
May
April
March
February
January
2018
December
November
October
September
August
July
June
May
April
March
February
January
2017
December
November
October
September
August
July
June
May
April
March
February
January
2016
December
November
October
September
August
July
June
May
April
March
February
January
2015
December
November
October
September
August
July
June
May
April
March
February
January
2014
December
November
October
September
August
July
June
May
April
March
February
January
2013
December
November
October
September
August
July
June
May
April
March
February
January
2012
December
November
October
September
August
July
June
May
April
March
February
January
2011
December
November
October
September
August
July
June
May
April
March
February
January
2010
December
November
October
September
August
July
June
May
April
March
February
January
2009
December
November
October
September
August
July
June
May
April
March
February
January
2008
December
November
October
September
August
July
June
May
April
March
February
January
2007
December
November
October
September
August
July
June
May
April
March
February
January
2006
December
November
October
September
August
July
June
May
April
March
February
January
2005
December
November
October
September
August
July
June
May
April
March
February
January
2004
December
November
October
September
August
July
June
May
April
March
February
January
2003
December
November
October
September
August
July
June
May
April
March
February
January
2002
December
November
October
September
August
July
June
May
April
March
February
January
2001
December
November
October
September
August
July
June
May
April
March
February
January
2000
December
November
October
September
August
July
June
May
April
March
February
January
1999
December
November
October
September
August
July
June
May
April
March
February
January
1998
December
November
October
September
August
July
June
May
April
March
List overview
thread
Spans (overlays/extents)
Jerry James
Monday, 28 March 2005
Mon, 28 Mar '05
10:48 p.m.
(
permalink
)
I stumbled across this accidentally. Take a look at spans:
http://proofgeneral.inf.ed.ac.uk/components
-- Jerry James
http://www.ittc.ku.edu/~james/
+0/-0
Like
/
Dislike
Reply
