Original sentence: , which became the broker for Macsyma and finally licensed Macsyma to Symbolics in late 1982.After Martin moved to research in automatic programming, Moses became sole head of the project.However, MIT invoked an apparently novel policy preventing MIT personell from profiting from MIT developments.In 1981, Moses and Richard Pavelle, an MIT staffer and proponent of applying Macsyma to engineering and science, proposed to form a company to commercialize MACSYMA.In 1982, under pressure from Fateman, MIT submitted a copy of Macsyma to the United States Department of Energy, one of the major funders of Macsyma development.In early 1982, Macsyma was licensed by MIT to Arthur D.Macsyma is a computer algebra system that was originally developed from 1968 to 1982 at the MIT AI Lab as part of Project MAC and later marketed commercially.Symbolics developed Macsyma under Pavelle for several years, but eventually came to see it as a diversion from the sales of Lisp machines, which they considered their main business.When Symbolics folded, so too did the Macsyma division
Edited sentence: ADL licensed Macsyma to Symbolics in late 1982.However, MIT invented a new policy that would "not allow MIT personnel to become wealthy from MIT developments" (at least in the case of Macsyma).In 1981 Moses and Pavelle attempted to form a company to distribute, commercialize and support MACSYMA.In 1982, MIT submitted a copy of Macsyma to the United States Department of Energy, that was one of the major funders of Macsyma development.In early 1982 Macsyma was licensed by MIT to Arthur D.Joel Moses had been head of the MACSYMA project at MIT and Richard Pavelle had been a staff member at MIT and a chief proponent of the use of Macsyma to applications in engineering and the sciences.Macsyma is a computer algebra system that was originally developed from 1968 to 1982 at the MIT AI Lab as part of Project MAC.Symbolics developed Macsyma under Richard Pavelle for several years, but eventually came to see it as a diversion from the sales of Lisp machines, which they considered their main business.When Symbolics folded so too did the Macsyma division.and they became the broker for Macsyma