About 4 years ago I transferred all my old 8/Hi8/DV tapes onto my PC exactly the same as you have done.
The AVI is a standard introduced by Microsoft http://en.wikipedia.org/wiki/Audio_Video_Interleave gives the detail and history
Smart TV's in 2012 could play AVI's or at least the youtube demo I just watched did so you may want to check the manual to find out precisely what your TV will play
Keep the originals as they are, do nothing to them.
Editing and output to whatever the TV can play, MPG and MP4 should be OK and as future proof as possible.
Try exporting a short say 1 minute of mixed footage to MPG and MP4 and view these, I did just this with my network and Sony TV and they streamed great, then I edited all that old footage to MPG and MP4 (I saved the same movie to both formats just in case).
Do remember that your AVI's will be SD and these will be upscaled by your TV to fill the HD screen
Divx is great but quite lossy and there has been a myrad of types over the years so future proofing may be an issue.
I cannot advise on CS6 as I use CS5.5.
Finally before you ask.......edit SD AVI's export movies to DVD's and playing back via a good quality upscaling Bluray player will probably give the best HD results, far better than thinking about software upscaling your AVI's to HD
1 - as said, keep your AVI originals for future editing... not fast enough to edit, but a USB2 drive works well for storage
2 - be sure you do NOT install a codec pack... some cause serious problems
I agree with both Biggles and John T.
When properly installed from DivX, that CODEC will appear under the AVI format, and if that is what your TV wantes, should work just fine.
I have had some issues, trying to Encode using the Xvid CODEC, which is basically the open source version of DivX. I understand that the latest version does not crash PrPro, but as I have the latest DivX, I just rely on that.
If, when you have installed only that CODEC, you have issues finding it, just let us know.
Thanks to all 3 of you... good guidance. I'm now working with AVCHD so the above is only for the older AVI files. Interesting that upscaling to Bluray is better . I wIll investigate. Not yet started using Blu-ray but given the camcorder I have and CS6 capabilities etc.. its time i dropped DVD's and moved up.
I will try the Divx Codec. Although... since I have converted already all the AVI's to MPG or MP4, I'm not sure there is anything to gain from being able to view the AVI files on the SmartTV.
So maybe this is a pointless excercise. Agree ?
Additional Question.... Bill, you say Divx Codec will appear under AVI Format. I'm not seeing that. Installed Divx Codec..I think. Do you mean the drop down box when 'exporting media' PPro CS6 ? Or are you talking Encoder ?
No show for the Divx codec in CS6 and CC.
If its for a media player I would go for mp4.
Ann probably has the answer.
I had not needed DivX recently, so it was probably CS 5, when I last used it.
Now, for about US $ 39, DivX has a DivX Encoder, which is a stand-alone program. It will output to AVI w/ their DivX CODEC. You would Export, then Import into the Encoder, then Export. IIRC, for that price, one gets the DivX Pro Encoder, a DivX Plus player with a bit more support, than say WMP w/ just the DivX CODEC, and some other utility, but I forget what that is. http://www.divx.com/en/software/divx-plus/converter