This is a batch image converter that lets you go back and forth between AVI and GIF. I don’t know what the practical limits are on the size of animated GIF files, but I’ve seen some pretty cool short videos in the format. This looks to be the way to create them.

Release 1.09 shipped on July 15, 2002.

http://www.realmultimedia.net/avi-gif.htm