2. The electronic document update notification device according to claim 1 , wherein the document name stylizing part determines a stylized document name with a string indicating date and time included in the notification object document name.
2. The electronic document update notification device according to claim 1 , wherein the document name stylizing part determines a stylized document name with a string indicating date and time included in the notification object document name. 3. The electronic document update notification device according to claim 2 , wherein the document name stylizing part creates a plurality of stylization candidates for date and time, checks whether there is a part matching any of the stylization candidates in the notification object document name and replaces the matching part by the stylization candidates.