A history of legal informatics